Package edu.jas.gb

Class GroebnerBaseSeqIter<C extends RingElem<C>>

java.lang.Object
edu.jas.gb.GroebnerBaseAbstract<C>
edu.jas.gb.GroebnerBaseSeqIter<C>
Type Parameters:
C - coefficient type
All Implemented Interfaces:
GroebnerBase<C>, Serializable

public class GroebnerBaseSeqIter<C extends RingElem<C>> extends GroebnerBaseAbstract<C>
Groebner Base sequential iterative algorithm. Implements Groebner bases and GB test.
See Also:
  • Field Details

    • logger

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

      private static final boolean debug
  • Constructor Details

    • GroebnerBaseSeqIter

      public GroebnerBaseSeqIter()
      Constructor.
    • GroebnerBaseSeqIter

      public GroebnerBaseSeqIter(Reduction<C> red)
      Constructor.
      Parameters:
      red - Reduction engine
    • GroebnerBaseSeqIter

      public GroebnerBaseSeqIter(PairList<C> pl)
      Constructor.
      Parameters:
      pl - pair selection strategy
    • GroebnerBaseSeqIter

      public GroebnerBaseSeqIter(Reduction<C> red, PairList<C> pl)
      Constructor.
      Parameters:
      red - Reduction engine
      pl - pair selection strategy
  • Method Details

    • GB

      public List<GenPolynomial<C>> GB(int modv, List<GenPolynomial<C>> F)
      Groebner base using pairlist class, iterative algorithm.
      Parameters:
      modv - module variable number.
      F - polynomial list.
      Returns:
      GB(F) a Groebner base of F.
    • GB

      public List<GenPolynomial<C>> GB(int modv, List<GenPolynomial<C>> G, GenPolynomial<C> f)
      Groebner base using pairlist class.
      Parameters:
      modv - module variable number.
      G - polynomial list of a Groebner base.
      f - polynomial.
      Returns:
      GB(G,f) a Groebner base of G+(f).