Package edu.jas.gbufd

Class GroebnerBasePseudoSeq<C extends GcdRingElem<C>>

  • Type Parameters:
    C - coefficient type
    All Implemented Interfaces:
    GroebnerBase<C>, java.io.Serializable

    public class GroebnerBasePseudoSeq<C extends GcdRingElem<C>>
    extends GroebnerBaseAbstract<C>
    Groebner Base with pseudo reduction sequential algorithm. Implements coefficient fraction free Groebner bases. Coefficients can for example be integers or (commutative) univariate polynomials.
    See Also:
    GBAlgorithmBuilder, GBFactory, Serialized Form
    • Constructor Detail

      • GroebnerBasePseudoSeq

        public GroebnerBasePseudoSeq​(RingFactory<C> rf)
        Constructor.
        Parameters:
        rf - coefficient ring factory.
      • GroebnerBasePseudoSeq

        public GroebnerBasePseudoSeq​(RingFactory<C> rf,
                                     PairList<C> pl)
        Constructor.
        Parameters:
        rf - coefficient ring factory.
        pl - pair selection strategy
      • GroebnerBasePseudoSeq

        public GroebnerBasePseudoSeq​(PseudoReduction<C> red,
                                     RingFactory<C> rf,
                                     PairList<C> pl)
        Constructor.
        Parameters:
        red - pseudo reduction engine. Note: red must be an instance of PseudoReductionSeq.
        rf - coefficient ring factory.
        pl - pair selection strategy