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 $