Package edu.jas.gb

Interface WordPairList<C extends RingElem<C>>

All Known Implementing Classes:
OrderedWordPairlist

public interface WordPairList<C extends RingElem<C>>
WordPair list management interface.
  • Method Details

    • create

      Create a new WordPairList.
      Parameters:
      r - word polynomial ring.
    • toString

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

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

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

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

      WordPair<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.
    • getList

      List<GenWordPolynomial<C>> getList()
      Get the list of word polynomials.
      Returns:
      the word 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.