This package contains classes for polynomial and solvable polynomial
  reduction, Groebner bases and ideal arithmetic as well as thread
  parallel and distributed versions of Buchbergers algorithm,
  e.g. ReductionSeq, GroebnerBaseAbstract,
  GroebnerBaseSeq, GroebnerBaseParallel and
  GroebnerBaseDistributed.  Moreover there are Groebner
  bases in polynomial rings over principal ideal domains and Euclidean
  domains, so called D- and E-Groebner bases, see
  DGroebnerBaseSeq and EGroebnerBaseSeq.
  The latest additions include free non-commutative polynomial
  reduction, S-polynomials and two-sided Groebner bases, see
  WordReductionSeq and WordGroebnerBaseSeq.
Last modified: Fri Sep 21 21:46:36 CEST 2012
$Id: package.html 4215 2012-09-21 21:56:08Z kredel $