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$
-
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.SolvablePseudoReduction<C extends RingElem<C>> Polynomial pseudo reduction interface.SolvableSyzygy<C extends RingElem<C>> Syzygy interface for solvable polynomials.Syzygy<C extends RingElem<C>> Syzygy interface.WordPseudoReduction<C extends RingElem<C>> Polynomial pseudo reduction interface. -
Class Summary Class Description 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.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.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.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.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.SolvablePseudoReductionSeq<C extends GcdRingElem<C>> Polynomial pseudo reduction sequential use algorithm.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.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.WordPseudoReductionEntry<C extends RingElem<C>> Word polynomial reduction container.WordPseudoReductionSeq<C extends RingElem<C>> Polynomial word 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.