This package contains classes
with applications of Groebner bases
such as ideal intersections, ideal quotients or ideal dimension are
implemented in Ideal and SolvableIdeal.
Class Residue provides polynomials residues modulo an ideal defined in
ResidueRing.
Comprehensive Groebner bases for polynomial rings over parameter rings
are implemented in ComprehensiveGroebnerBaseSeq.
Last modified: Sat Oct 23 18:54:41 CEST 2010
$Id: package.html 3357 2010-10-23 17:10:02Z kredel $