Package edu.jas.gbufd

Class GroebnerBasePseudoSeq<C extends GcdRingElem<C>>

java.lang.Object
edu.jas.gb.GroebnerBaseAbstract<C>
edu.jas.gbufd.GroebnerBasePseudoSeq<C>
Type Parameters:
C - coefficient type
All Implemented Interfaces:
GroebnerBase<C>, 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:
  • Field Details

  • Constructor Details

    • 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
  • Method Details