Package edu.jas.gb

Class OrderedSyzPairlist<C extends RingElem<C>>

java.lang.Object
edu.jas.gb.OrderedPairlist<C>
edu.jas.gb.OrderedSyzPairlist<C>
All Implemented Interfaces:
PairList<C>, Serializable

public class OrderedSyzPairlist<C extends RingElem<C>> extends OrderedPairlist<C>
Pair list management. For the Buchberger algorithm following the syzygy criterions by Gebauer & Möller. Implemented using GenPolynomial, TreeMap and BitSet.
See Also:
  • Field Details

    • logger

      private static final org.apache.logging.log4j.Logger logger
  • Constructor Details

    • OrderedSyzPairlist

      public OrderedSyzPairlist()
      Constructor.
    • OrderedSyzPairlist

      public OrderedSyzPairlist(GenPolynomialRing<C> r)
      Constructor.
      Parameters:
      r - polynomial factory.
    • OrderedSyzPairlist

      public OrderedSyzPairlist(int m, GenPolynomialRing<C> r)
      Constructor.
      Parameters:
      m - number of module variables.
      r - polynomial factory.
  • Method Details