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$

Class	Description
CharacteristicSet<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	Examples for Groebner base usage.
GBFactory	Groebner bases algorithms factory.
GBFactory.Algo	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.
GroebnerBaseFGLMExamples	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.
PolyGBUtil	Package gbufd utilities.
PolyModUtil	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.
ResPart<C extends RingElem<C>>	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.
SGBFactory	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<C extends RingElem<C>>	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.