The System performs algebraic manipulation on polynomials, matrices, ideals, polynomial rings, modules, maps between rings and complexes of modules. The possible manipulations include the computation of standard (Goebner) bases, modules of syzygies, finite free resolutions, Hilbert polynominals and functions.
