Package edu.jas.ps

Class StandardBaseSeq<C extends RingElem<C>>

  • Type Parameters:
    C - coefficient type

    public class StandardBaseSeq<C extends RingElem<C>>
    extends java.lang.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.
    • Field Detail

      • logger

        private static final org.apache.logging.log4j.Logger logger
      • debug

        private static final boolean debug
    • Constructor Detail

      • StandardBaseSeq

        public StandardBaseSeq()
        Constructor.
      • StandardBaseSeq

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

      • normalizeZerosOnes

        public java.util.List<MultiVarPowerSeries<C>> normalizeZerosOnes​(java.util.List<MultiVarPowerSeries<C>> A)
        Normalize power series list.
        Parameters:
        A - list of power series.
        Returns:
        list of power series with zeros removed and ones/units reduced.
      • isSTD

        public boolean isSTD​(java.util.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,
                             java.util.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.
      • STD

        public java.util.List<MultiVarPowerSeries<C>> STD​(java.util.List<MultiVarPowerSeries<C>> F)
        Standard base using pairlist class.
        Parameters:
        F - power series list.
        Returns:
        STD(F) a Standard base of F.
      • STD

        public java.util.List<MultiVarPowerSeries<C>> STD​(int modv,
                                                          java.util.List<MultiVarPowerSeries<C>> F)
        Standard base using pairlist class.
        Parameters:
        modv - module variable number.
        F - power series list.
        Returns:
        STD(F) a Standard base of F.
      • minimalSTD

        public java.util.List<MultiVarPowerSeries<C>> minimalSTD​(java.util.List<MultiVarPowerSeries<C>> Gp)
        Minimal ordered Standard basis.
        Parameters:
        Gp - a Standard base.
        Returns:
        a minimal Standard base of Gp, not auto reduced.