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.
|