GB application classes

# Groebner base application package.

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 $