StandardBaseSeq
edu.jas.ps

Class StandardBaseSeq<C extends RingElem<C>>

  • Type Parameters:
    C - coefficient type


    public class StandardBaseSeq<C extends RingElem<C>>extends Object
    Standard Base sequential algorithm. Implements Standard bases and GB test. Note: Currently the term order is fixed to the order defined by the iterator over exponent vectors ExpVectorIterator.
    • Constructor Detail

      • StandardBaseSeq

        public StandardBaseSeq()
        Constructor.
      • StandardBaseSeq

        public StandardBaseSeq(ReductionSeq<C> red)
        Constructor.
        Parameters:
        red - Reduction engine
    • Method Detail

      • isSTD

        public boolean isSTD(List<MultiVarPowerSeries<C>> F)
        Standard base test.
        Parameters:
        F - power series list.
        Returns:
        true, if F is a Standard base, else false.
      • isSTD

        public boolean isSTD(int modv,            List<MultiVarPowerSeries<C>> F)
        Standard base test.
        Parameters:
        modv - module variable number.
        F - power series list.
        Returns:
        true, if F is a Standard base, else false.

SCaVis 2.0 © jWork.ORG