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.