Package edu.jas.gbufd

Class SolvableGroebnerBasePseudoSeq<C extends GcdRingElem<C>>

    • Constructor Detail

      • SolvableGroebnerBasePseudoSeq

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

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

        public SolvableGroebnerBasePseudoSeq​(SolvablePseudoReduction<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