The SAC-1 Polynomial Linear Algebra System

Abstract

This system is the tenth in a series of subsystems comprising the SAC-1 System for Symbolic and Algebraic Calculation, The present subsystem consists of programs implementing modular algorithms for linear equations solution, matrix inversion, determinant calculation, null space basis generation, and matrix multiplication, all for matrices with integer or polynomial entries, For each program in the system is given a functional specification, a11 algorithm description, an analytical computing time, and a Fortran program listing. Empirically observed computing times for some of the key programs are presented. Also, a test program is supplied as an aid in implementing the system and to illustrate its use.