Package edu.jas.gbufd
package edu.jas.gbufd
Groebner bases using unique factorization package.
This package contains classes for polynomial pseudo reduction and
Groebner bases using pseudo reduction
GroebnerBasePseudoSeq
and
GroebnerBasePseudoRecSeq
.
Groebner bases for polynomial rings over regular rings (direct
products of fields or integral domains) are implemented in
RGroebnerBaseSeq
and
RGroebnerBasePseudoSeq
.
Heinz Kredel
Last modified: Fri Dec 24 15:00:40 CET 2010
$Id$
-
ClassDescriptionCharacteristicSet<C extends GcdRingElem<C>>Characteristic Set interface.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.Examples for Groebner base usage.Groebner bases algorithms factory.Algorithm indicators: igb = integerGB, egb = e-GB, dgb = d-GB, qgb = fraction coefficients GB, ffgb = fraction free GB.GroebnerBaseFGLM<C extends GcdRingElem<C>>Groebner Base sequential FGLM algorithm.Groebner base FGLM examples.GroebnerBasePartial<C extends GcdRingElem<C>>Partial Groebner Bases for subsets of variables.GroebnerBasePseudoParallel<C extends GcdRingElem<C>>Groebner Base with pseudo reduction multi-threaded parallel algorithm.GroebnerBasePseudoRecParallel<C extends GcdRingElem<C>>Groebner Base with recursive pseudo reduction multi-threaded parallel algorithm.GroebnerBasePseudoRecSeq<C extends GcdRingElem<C>>Groebner Base with pseudo reduction sequential algorithm for integral function coefficients.GroebnerBasePseudoSeq<C extends GcdRingElem<C>>Groebner Base with pseudo reduction sequential algorithm.GroebnerBaseQuotient<C extends GcdRingElem<C>>Groebner Base sequential algorithm for rational function coefficients, fraction free computation.GroebnerBaseRational<C extends BigRational>Groebner Base sequential algorithm for rational coefficients, fraction free computation.GroebnerBaseWalk<C extends GcdRingElem<C>>Groebner Base sequential Groebner Walk algorithm.MultiplicativeSet<C extends GcdRingElem<C>>Multiplicative set of polynomials.MultiplicativeSetCoPrime<C extends GcdRingElem<C>>Multiplicative set of co-prime polynomials.MultiplicativeSetFactors<C extends GcdRingElem<C>>Multiplicative set of irreducible polynomials.MultiplicativeSetSquarefree<C extends GcdRingElem<C>>Multiplicative set of squarefree and co-prime polynomials.OrderedRPairlist<C extends RegularRingElem<C>>Pair list management for R-Groebner bases.Package gbufd utilities.Package gb and gbufd utilities.PseudoMiReducer<C extends GcdRingElem<C>>Pseudo Reducing worker threads for minimal GB.PseudoMiReducerRec<C extends GcdRingElem<C>>Pseudo Reducing worker threads for minimal GB.PseudoReducer<C extends GcdRingElem<C>>Pseudo GB Reducing worker threads.PseudoReducerRec<C extends GcdRingElem<C>>Pseudo GB Reducing worker threads.PseudoReduction<C extends RingElem<C>>Polynomial pseudo reduction interface.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.Container for module resolution components.ResPolPart<C extends RingElem<C>>Container for polynomial resolution components.RGroebnerBasePseudoSeq<C extends RegularRingElem<C>>Regular ring Groebner Base with pseudo reduction sequential algorithm.RGroebnerBaseSeq<C extends RegularRingElem<C>>Regular ring Groebner Base sequential algorithm.RPseudoReduction<C extends RegularRingElem<C>>Polynomial R pseudo reduction interface.RPseudoReductionSeq<C extends RegularRingElem<C>>Polynomial regular ring pseudo reduction sequential use algorithm.RReduction<C extends RegularRingElem<C>>Polynomial R Reduction interface.RReductionSeq<C extends RegularRingElem<C>>Polynomial Regular ring Reduction sequential use algorithm.Solvable Groebner bases algorithms factory.SolvableGroebnerBasePseudoRecSeq<C extends GcdRingElem<C>>Solvable Groebner Base with pseudo reduction sequential algorithm.SolvableGroebnerBasePseudoSeq<C extends GcdRingElem<C>>Solvable Groebner Base with pseudo reduction sequential algorithm.SolvablePseudoReduction<C extends RingElem<C>>Polynomial pseudo reduction interface.SolvablePseudoReductionSeq<C extends GcdRingElem<C>>Polynomial pseudo reduction sequential use algorithm.SolvableSyzygy<C extends RingElem<C>>Syzygy interface for solvable polynomials.SolvableSyzygyAbstract<C extends GcdRingElem<C>>Syzygy abstract class for solvable polynomials.SolvableSyzygySeq<C extends GcdRingElem<C>>Syzygy sequential class for solvable polynomials.SolvResPart<C extends RingElem<C>>Container for module resolution components.SolvResPolPart<C extends RingElem<C>>Container for polynomial resolution components.Syzygy interface.SyzygyAbstract<C extends GcdRingElem<C>>SyzygyAbstract class.SyzygySeq<C extends GcdRingElem<C>>SyzygySeq class.WordGroebnerBasePseudoRecSeq<C extends GcdRingElem<C>>Non-commutative word Groebner Base sequential algorithm.WordGroebnerBasePseudoSeq<C extends GcdRingElem<C>>Non-commutative word Groebner Base sequential algorithm.WordPseudoReduction<C extends RingElem<C>>Polynomial pseudo reduction interface.WordPseudoReductionEntry<C extends RingElem<C>>Word polynomial reduction container.WordPseudoReductionSeq<C extends RingElem<C>>Polynomial word reduction sequential use algorithm.