Package edu.jas.gb

Interface Summary

Interface	Description
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.
SigReduction<C extends RingElem<C>>	Polynomial SigReduction interface.
SolvableGroebnerBase<C extends RingElem<C>>	Solvable Groebner Bases interface.
SolvableReduction<C extends RingElem<C>>	Solvable polynomial Reduction interface.
WordGroebnerBase<C extends RingElem<C>>	Non-commutative Groebner Bases interface for GenWordPolynomials.
WordPairList<C extends RingElem<C>>	WordPair list management interface.
WordReduction<C extends RingElem<C>>	Polynomial WordReduction interface.

Class Summary

Class	Description
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.
Cyclic	Class to produce a system of equations defined as Cyclic.
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.
GBDistSP<C extends RingElem<C>>	Deprecated. use RunGB or RunSGB for standalone execution
GBOptimized<C extends GcdRingElem<C>>	Groebner bases via optimized variable and term order.
GBProxy<C extends GcdRingElem<C>>	Groebner bases parallel proxy.
GBProxyTest	Groebner base proxy of sequential and parallel tests with JUnit.
GBTransportMess	Distributed GB transport message.
GroebnerBaseAbstract<C extends RingElem<C>>	Groebner Bases abstract class.
GroebnerBaseArriSigSeqIter<C extends RingElem<C>>	Groebner Base Arri signature based sequential iterative algorithm.
GroebnerBaseDistECTest	Distributed GroebnerBase tests with JUnit.
GroebnerBaseDistHybridECTest	Distributed hybrid GroebnerBase tests with JUnit.
GroebnerBaseDistributedEC<C extends RingElem<C>>	Groebner Base distributed algorithm.
GroebnerBaseDistributedHybridEC<C extends RingElem<C>>	Groebner Base distributed hybrid algorithm.
GroebnerBaseF5zSigSeqIter<C extends RingElem<C>>	Groebner Base F5z signature based sequential iterative algorithm.
GroebnerBaseGGVSigSeqIter<C extends RingElem<C>>	Groebner Base GGV signature based sequential iterative algorithm.
GroebnerBaseParallel<C extends RingElem<C>>	Groebner Base parallel algortihm.
GroebnerBaseParIter<C extends RingElem<C>>	Groebner Base parallel iterative algortihm.
GroebnerBaseParIterTest	GroebnerBase parallel iterative GB tests with JUnit.
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.
GroebnerBaseSeqIter<C extends RingElem<C>>	Groebner Base sequential iterative algorithm.
GroebnerBaseSeqIterTest	Groebner base sequential iterative GB tests with JUnit.
GroebnerBaseSeqPairDistributed<C extends RingElem<C>>	Deprecated. no direct alternative
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.
GroebnerBaseSigSeqIter<C extends RingElem<C>>	Groebner Base signature based sequential iterative algorithm.
GroebnerBaseSigSeqIterTest	Groebner base signature based sequential iterative GB tests with JUnit.
Katsura	Class to produce a system of equations as defined by Katsura.
ModGroebnerBaseTest	ModGroebnerBase sequential and parallel tests with JUnit.
ModSolvableGroebnerBaseTest	ModSolvableGroebnerBase sequential and parallel tests with JUnit.
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.
OrderedWordPairlist<C extends RingElem<C>>	Pair list management of word polynomials.
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.
SGBProxy<C extends GcdRingElem<C>>	Groebner bases parallel proxy.
SGBProxyTest	SolvableGroebnerBase proxy of sequential and parallel tests with JUnit.
SigPair<C extends RingElem<C>>	Serializable subclass to hold pairs of polynomials.
SigPoly<C extends RingElem<C>>	Container for a polynomial and its signature.
SigReductionSeq<C extends RingElem<C>>	Polynomial SigReduction class.
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.
WordGroebnerBaseAbstract<C extends RingElem<C>>	Non-commutative Groebner Bases abstract class.
WordGroebnerBaseSeq<C extends RingElem<C>>	Non-commutative word Groebner Base sequential algorithm.
WordGroebnerBaseSeqTest	Groebner base sequential tests with JUnit.
WordPair<C extends RingElem<C>>	Serializable subclass to hold pairs of word polynomials.
WordReductionAbstract<C extends RingElem<C>>	Polynomial word reduction abstract class.
WordReductionSeq<C extends RingElem<C>>	Polynomial word reduction sequential use algorithm.
WordReductionTest	Word reduction tests with JUnit.