| 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 | 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>> |
Setup to run a distributed GB example.
|
| 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.
|
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 $