This package contains classes
with applications of Groebner bases
such as ideal intersections, ideal quotients or ideal dimension are
implemented in Ideal and SolvableIdeal.
The rational function class Quotient uses package edu.jas.ufd
to compute quotients of polynomials reduced to lowest terms.
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 Aug 9 13:19:22 CEST 2008
$Id: package.html 2005 2008-08-09 11:23:58Z kredel $