Package edu.jas.gb

Groebner bases package.

See:
Description

Interface Summary

DReduction<C extends RingElem<C>>	Polynomial D Reduction interface.
EReduction<C extends RingElem<C>>	Polynomial E-Reduction interface.
GroebnerBase<C extends RingElem<C>>	Groebner Bases interface.
PairList<C extends RingElem<C>>	Pair list management interface.
Reduction<C extends RingElem<C>>	Polynomial Reduction interface.
SolvableGroebnerBase<C extends RingElem<C>>	Solvable Groebner Bases interface.
SolvableReduction<C extends RingElem<C>>	Solvable polynomial Reduction interface.

Class Summary

AbstractPair<C extends RingElem<C>>	Serializable abstract subclass to hold pairs of polynomials.
CriticalPair<C extends RingElem<C>>	Serializable subclass to hold critical pairs of polynomials.
CriticalPairComparator<C extends RingElem<C>>	Comparator for critical pairs of polynomials.
CriticalPairList<C extends RingElem<C>>	Critical pair list management.
DGroebnerBaseSeq<C extends RingElem<C>>	D-Groebner Base sequential algorithm.
DGroebnerBaseSeqTest	DGroebner base sequential tests with JUnit.
DReductionSeq<C extends RingElem<C>>	Polynomial D-Reduction sequential use algorithm.
EGroebnerBaseSeq<C extends RingElem<C>>	E-Groebner Base sequential algorithm.
EGroebnerBaseSeqTest	EGroebner base sequential tests with JUnit.
EReductionSeq<C extends RingElem<C>>	Polynomial E-Reduction sequential use algorithm.
ExtendedGB<C extends RingElem<C>>	Container for a GB and transformation matrices.
GBDist<C extends RingElem<C>>	Setup to run a distributed GB example.
GBDistHybrid<C extends RingElem<C>>	Setup to run a distributed GB example.
GBDistSP<C extends RingElem<C>>	Setup to run a distributed GB example.
GBProxy<C extends GcdRingElem<C>>	Groebner bases parallel proxy.
GBProxyTest	Groebner base sequential tests with JUnit.
GroebnerBaseAbstract<C extends RingElem<C>>	Groebner Bases abstract class.
GroebnerBaseDistHybridTest	Distributed hybrid architecture GroebnerBase tests with JUnit.
GroebnerBaseDistributed<C extends RingElem<C>>	Groebner Base distributed algorithm.
GroebnerBaseDistributedHybrid<C extends RingElem<C>>	Groebner Base distributed hybrid algorithm.
GroebnerBaseDistTest	Distributed GroebnerBase tests with JUnit.
GroebnerBaseParallel<C extends RingElem<C>>	Groebner Base parallel algortihm.
GroebnerBaseParSyzPairTest	Groebner base parallel, syzygy pair list, tests with JUnit.
GroebnerBaseParTest	GroebnerBase parallel tests with JUnit.
GroebnerBaseSeq<C extends RingElem<C>>	Groebner Base sequential algorithm.
GroebnerBaseSeqPairDistributed<C extends RingElem<C>>	Groebner Base distributed algorithm.
GroebnerBaseSeqPairDistTest	Groebner base distributed, sequential pair list, tests with JUnit.
GroebnerBaseSeqPairParallel<C extends RingElem<C>>	Groebner Base parallel algorithm.
GroebnerBaseSeqPairParTest	Groebner base parallel, sequential pair list, tests with JUnit.
GroebnerBaseSeqPairSeq<C extends RingElem<C>>	Groebner Base sequential algorithm.
GroebnerBaseSeqPairSeqTest	Groebner base sequential, sequential pair list, tests with JUnit.
GroebnerBaseSeqTest	Groebner base sequential tests with JUnit.
Katsura	Class to produce a system of equations as defined by Katsura.
OrderedDPairlist<C extends RingElem<C>>	Pair list management for d-Groebner bases.
OrderedMinPairlist<C extends RingElem<C>>	Pair list management.
OrderedPairlist<C extends RingElem<C>>	Pair list management.
OrderedSyzPairlist<C extends RingElem<C>>	Pair list management.
Pair<C extends RingElem<C>>	Serializable subclass to hold pairs of polynomials.
PairListTest	Groebner base sequential tests with JUnit.
ReductionAbstract<C extends RingElem<C>>	Polynomial Reduction abstract class.
ReductionPar<C extends RingElem<C>>	Polynomial Reduction parallel usable algorithm.
ReductionSeq<C extends RingElem<C>>	Polynomial Reduction sequential use algorithm.
ReductionTest	Reduction tests with JUnit.
SolvableExtendedGB<C extends RingElem<C>>	Container for a GB and transformation matrices.
SolvableGroebnerBaseAbstract<C extends RingElem<C>>	Solvable Groebner Bases abstract class.
SolvableGroebnerBaseParallel<C extends RingElem<C>>	Solvable Groebner Base parallel algorithm.
SolvableGroebnerBaseParTest	SolvableGroebnerBase parallel tests with JUnit.
SolvableGroebnerBaseSeq<C extends RingElem<C>>	Solvable Groebner bases sequential algorithms.
SolvableGroebnerBaseSeqPairParallel<C extends RingElem<C>>	Solvable Groebner Base parallel algorithm.
SolvableGroebnerBaseSeqPairParTest	SolvableGroebnerBase parallel tests with JUnit.
SolvableGroebnerBaseSeqTest	Solvable Groebner base sequential tests with JUnit.
SolvableReductionAbstract<C extends RingElem<C>>	Solvable polynomial Reduction abstract class.
SolvableReductionPar<C extends RingElem<C>>	Solvable polynomial Reduction parallel usable algorithm.
SolvableReductionSeq<C extends RingElem<C>>	Solvable polynomial Reduction algorithm.
SolvableReductionTest	Solvable Reduction tests with JUnit.

Package edu.jas.gb Description

Groebner bases package.

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.

Heinz Kredel

Last modified: Fri Dec 24 14:59:28 CET 2010

$Id: package.html 3430 2010-12-24 14:01:57Z kredel $