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 $