Package edu.jas.gbufd

Groebner bases using unique factorization package.

See: Description

Interface Summary

Interface	Description
CharacteristicSet<C extends GcdRingElem<C>>	Characteristic Set interface.
PseudoReduction<C extends RingElem<C>>	Polynomial pseudo reduction interface.
RPseudoReduction<C extends RegularRingElem<C>>	Polynomial R pseudo reduction interface.
RReduction<C extends RegularRingElem<C>>	Polynomial R Reduction interface.

Class Summary

Class	Description
CharacteristicSetSimple<C extends GcdRingElem<C>>	Characteristic Set class acccording to the simple algorithm, where the leading coefficients are not rereduced.
CharacteristicSetWu<C extends GcdRingElem<C>>	Characteristic Set class acccording to Wu.
Examples	Examples for Groebner base usage.
GBFactory	Groebner bases algorithms factory.
GroebnerBaseFGLM<C extends GcdRingElem<C>>	Groebner Base sequential FGLM algorithm.
GroebnerBaseFGLMExamples	Groebner base FGLM examples with JUnit.
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.
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.
GroebnerBaseRational<C extends BigRational>	Groebner Base sequential algorithm for rational coefficients, fraction free computation.
GroebnerBaseSeqQuotient<C extends GcdRingElem<C>>	Groebner Base sequential algorithm for rational function coefficients, fraction free computation.
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.
PolyGBUtil	Package 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.
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.
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.

Enum Summary

Enum	Description
GBFactory.Algo	Algorithm indicators: igb = integerGB, egb = e-GB, dgb = d-GB, qgb = fraction coefficients GB, ffgb = fraction free GB.

Package edu.jas.gbufd Description

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$