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
.
Method rootReduce()
from class RootFactoryApp
computes a primitive element of two algebraic roots.
Last modified: Wed Aug 17 23:35:02 CEST 2016
$Id$