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 $