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: Fri Dec 24 15:00:18 CET 2010
$Id: package.html 3430 2010-12-24 14:01:57Z kredel $