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$