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$