Package edu.jas.ps

Class StandardBaseSeq<C extends RingElem<C>>

java.lang.Object
edu.jas.ps.StandardBaseSeq<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.
  • Field Details

    • logger

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

      private static final boolean debug
    • red

      public final ReductionSeq<C extends RingElem<C>> red
      Reduction engine.
  • Constructor Details

    • StandardBaseSeq

      public StandardBaseSeq()
      Constructor.
    • StandardBaseSeq

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

    • normalizeZerosOnes

      public List<MultiVarPowerSeries<C>> normalizeZerosOnes(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(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.
    • STD

      Standard base using pairlist class.
      Parameters:
      F - power series list.
      Returns:
      STD(F) a Standard base of F.
    • STD

      public List<MultiVarPowerSeries<C>> STD(int modv, 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 List<MultiVarPowerSeries<C>> minimalSTD(List<MultiVarPowerSeries<C>> Gp)
      Minimal ordered Standard basis.
      Parameters:
      Gp - a Standard base.
      Returns:
      a minimal Standard base of Gp, not auto reduced.