| CharacteristicSetSimple<C extends GcdRingElem<C>> |
Characteristic Set class according to the simple algorithm, where the
leading coefficients are not rereduced.
|
| CharacteristicSetWu<C extends GcdRingElem<C>> |
Characteristic Set class according to Wu.
|
| CharSetTest |
Chararacteristic set tests with JUnit.
|
| Examples |
Examples for Groebner base usage.
|
| GBFactory |
Groebner bases algorithms factory.
|
| GBFactoryTest |
Groebner base factory tests with JUnit.
|
| GroebnerBaseFGLM<C extends GcdRingElem<C>> |
Groebner Base sequential FGLM algorithm.
|
| GroebnerBaseFGLMExamples |
Groebner base FGLM examples.
|
| GroebnerBaseFGLMTest |
Groebner base via FGLM tests with JUnit.
|
| GroebnerBasePartial<C extends GcdRingElem<C>> |
Partial Groebner Bases for subsets of variables.
|
| GroebnerBasePartTest |
Partial Groebner base sequential tests with JUnit.
|
| GroebnerBasePseudoParallel<C extends GcdRingElem<C>> |
Groebner Base with pseudo reduction multi-threaded parallel algorithm.
|
| GroebnerBasePseudoParTest |
Groebner base pseudo reduction parallel tests with JUnit.
|
| GroebnerBasePseudoRecParallel<C extends GcdRingElem<C>> |
Groebner Base with recursive pseudo reduction multi-threaded parallel
algorithm.
|
| GroebnerBasePseudoRecParTest |
Groebner base recursive pseudo reduction sequential tests with JUnit.
|
| GroebnerBasePseudoRecSeq<C extends GcdRingElem<C>> |
Groebner Base with pseudo reduction sequential algorithm for integral
function coefficients.
|
| GroebnerBasePseudoRecSeqTest |
Groebner base recursive pseudo reduction sequential tests with JUnit.
|
| GroebnerBasePseudoSeq<C extends GcdRingElem<C>> |
Groebner Base with pseudo reduction sequential algorithm.
|
| GroebnerBasePseudoSeqTest |
Groebner base pseudo reduction sequential tests with JUnit.
|
| GroebnerBaseQuotient<C extends GcdRingElem<C>> |
Groebner Base sequential algorithm for rational function coefficients,
fraction free computation.
|
| GroebnerBaseQuotientTest |
Groebner base sequential quotient fraction free tests with JUnit.
|
| GroebnerBaseRational<C extends BigRational> |
Groebner Base sequential algorithm for rational coefficients, fraction free
computation.
|
| GroebnerBaseRationalTest |
Groebner base sequential rational fraction free tests with JUnit.
|
| GroebnerBaseWalk<C extends GcdRingElem<C>> |
Groebner Base sequential Groebner Walk algorithm.
|
| GroebnerBaseWalkTest |
Groebner base Groebner Walk tests with JUnit.
|
| MultiplicativeSet<C extends GcdRingElem<C>> |
Multiplicative set of polynomials. a, b in M implies a*b in M, 1 in M.
|
| MultiplicativeSetCoPrime<C extends GcdRingElem<C>> |
Multiplicative set of co-prime polynomials. a, b in M implies a*b in M, 1 in
M.
|
| MultiplicativeSetFactors<C extends GcdRingElem<C>> |
Multiplicative set of irreducible polynomials. a, b in M implies a*b in M, 1
in M.
|
| MultiplicativeSetSquarefree<C extends GcdRingElem<C>> |
Multiplicative set of squarefree and co-prime polynomials. a, b in M implies
a*b in M, 1 in M.
|
| MultiplicativeSetTest |
MultiplicativeSet tests with JUnit.
|
| OrderedRPairlist<C extends RegularRingElem<C>> |
Pair list management for R-Groebner bases.
|
| PolyGBUtil |
Package gbufd utilities.
|
| PolyGBUtilTest |
PolyGBUtil tests with JUnit.
|
| PolyModUtil |
Package gb and gbufd utilities.
|
| PseudoReductionEntry<C extends RingElem<C>> |
Polynomial reduction container.
|
| PseudoReductionPar<C extends RingElem<C>> |
Polynomial pseudo reduction sequential use algorithm.
|
| PseudoReductionSeq<C extends RingElem<C>> |
Polynomial pseudo reduction sequential use algorithm.
|
| ReductionTest |
Reduction tests with JUnit.
|
| RGroebnerBasePseudoSeq<C extends RegularRingElem<C>> |
Regular ring Groebner Base with pseudo reduction sequential algorithm.
|
| RGroebnerBasePseudoSeqTest |
R-Groebner base sequential tests with JUnit.
|
| RGroebnerBaseSeq<C extends RegularRingElem<C>> |
Regular ring Groebner Base sequential algorithm.
|
| RGroebnerBaseSeqTest |
R-Groebner base sequential tests with JUnit.
|
| RPseudoReductionSeq<C extends RegularRingElem<C>> |
Polynomial regular ring pseudo reduction sequential use algorithm.
|
| RReductionSeq<C extends RegularRingElem<C>> |
Polynomial Regular ring Reduction sequential use algorithm.
|
| SGBFactory |
Solvable Groebner bases algorithms factory.
|
| SGBFactoryTest |
Solvable Groebner base factory tests with JUnit.
|
| SolvableGroebnerBasePseudoRecSeq<C extends GcdRingElem<C>> |
Solvable Groebner Base with pseudo reduction sequential algorithm.
|
| SolvableGroebnerBasePseudoRecSeqTest |
Solvable Groebner base pseudo recursive sequential tests with JUnit.
|
| SolvableGroebnerBasePseudoSeq<C extends GcdRingElem<C>> |
Solvable Groebner Base with pseudo reduction sequential algorithm.
|
| SolvableGroebnerBasePseudoSeqTest |
Solvable Groebner base pseudo sequential tests with JUnit.
|
| SolvablePseudoReductionSeq<C extends GcdRingElem<C>> |
Polynomial pseudo reduction sequential use algorithm.
|
| SolvablePseudoReductionTest |
Solvable Reduction tests with JUnit.
|
| SolvableSyzygyAbstract<C extends GcdRingElem<C>> |
Syzygy abstract class for solvable polynomials.
|
| SolvableSyzygySeq<C extends GcdRingElem<C>> |
Syzygy sequential class for solvable polynomials.
|
| SolvableSyzygyTest |
SolvableSyzygy tests with JUnit.
|
| SyzygyAbstract<C extends GcdRingElem<C>> |
SyzygyAbstract class.
|
| SyzygySeq<C extends GcdRingElem<C>> |
SyzygySeq class.
|
| SyzygyTest |
Syzygy tests with JUnit.
|
| WordGroebnerBasePseudoRecSeq<C extends GcdRingElem<C>> |
Non-commutative word Groebner Base sequential algorithm.
|
| WordGroebnerBasePseudoRecSeqTest |
Word Groebner base recursive pseudo reduction sequential tests with JUnit.
|
| WordGroebnerBasePseudoSeq<C extends GcdRingElem<C>> |
Non-commutative word Groebner Base sequential algorithm.
|
| WordGroebnerBasePseudoSeqTest |
Word Groebner base sequential tests with JUnit.
|
| WordPseudoReductionEntry<C extends RingElem<C>> |
Word polynomial reduction container.
|
| WordPseudoReductionSeq<C extends RingElem<C>> |
Polynomial word reduction sequential use algorithm.
|
| WordPseudoReductionTest |
Word reduction tests with JUnit.
|