Interface PairList<C extends RingElem<C>>

All Superinterfaces:
Serializable
All Known Implementing Classes:
CriticalPairList, OrderedDPairlist, OrderedMinPairlist, OrderedPairlist, OrderedRPairlist, OrderedSyzPairlist
public interface PairList<C extends RingElem<C>> extends Serializable
Pair list management interface.

  • Method Details

    • create

      PairList<C> create(GenPolynomialRing<C> r)
      Create a new PairList.
      Parameters:
      r - polynomial ring.

    • create

      PairList<C> create(int m, GenPolynomialRing<C> r)
      Create a new PairList.
      Parameters:
      m - number of module variables.
      r - polynomial ring.

    • getRing

      GenPolynomialRing<C> getRing()
      Get polynomial ring.
      Returns:
      the polynomial ring.

    • toString

      String toString()
      toString.
      Overrides:
      toString in class Object

    • put

      int put(GenPolynomial<C> p)
      Put one Polynomial to the pairlist and reduction matrix.
      Parameters:
      p - polynomial.
      Returns:
      the index of the added polynomial.

    • put

      int put(List<GenPolynomial<C>> F)
      Put all polynomials in F to the pairlist and reduction matrix.
      Parameters:
      F - polynomial list.
      Returns:
      the index of the last added polynomial.

    • putOne

      int putOne()
      Put to ONE-Polynomial to the pairlist.
      Returns:
      the index of the last polynomial.

    • removeNext

      Pair<C> removeNext()
      Remove the next required pair from the pairlist and reduction matrix. Apply the criterions 3 and 4 to see if the S-polynomial is required.
      Returns:
      the next pair if one exists, otherwise null.

    • hasNext

      boolean hasNext()
      Test if there is possibly a pair in the list.
      Returns:
      true if a next pair could exist, otherwise false.

    • size

      int size()
      Get the size of the list of polynomials.
      Returns:
      size of the polynomial list.

    • getList

      List<GenPolynomial<C>> getList()
      Get the list of polynomials.
      Returns:
      the polynomial list.

    • setList

      void setList(List<GenPolynomial<C>> F)
      Set the list of polynomials.
      Parameters:
      F - the polynomial list.

    • putCount

      int putCount()
      Get the number of polynomials put to the pairlist.
      Returns:
      the number of calls to put.

    • remCount

      int remCount()
      Get the number of required pairs removed from the pairlist.
      Returns:
      the number of non null pairs delivered.

    • criterion3

      boolean criterion3(int i, int j, ExpVector eij)
      GB criterium 3.
      Returns:
      true if the S-polynomial(i,j) is required.