The SAC-1 Polynomial Linear Algebra System