Package edu.jas.gb

Class OrderedWordPairlist<C extends RingElem<C>>

java.lang.Object
edu.jas.gb.OrderedWordPairlist<C>
All Implemented Interfaces:
WordPairList<C>

public class OrderedWordPairlist<C extends RingElem<C>> extends Object implements WordPairList<C>
Pair list management of word polynomials. Implemented using GenWordPolynomial, TreeMap and BitSet.
  • Field Details

  • Constructor Details

    • OrderedWordPairlist

      public OrderedWordPairlist()
      Constructor.
    • OrderedWordPairlist

      public OrderedWordPairlist(GenWordPolynomialRing<C> r)
      Constructor.
      Parameters:
      r - word polynomial factory.
  • Method Details

    • create

      public WordPairList<C> create(GenWordPolynomialRing<C> r)
      Create a new WordPairList.
      Specified by:
      create in interface WordPairList<C extends RingElem<C>>
      Parameters:
      r - word polynomial ring.
    • toString

      public String toString()
      toString.
      Specified by:
      toString in interface WordPairList<C extends RingElem<C>>
      Overrides:
      toString in class Object
    • put

      public int put(GenWordPolynomial<C> p)
      Put one Polynomial to the pairlist and reduction matrix.
      Specified by:
      put in interface WordPairList<C extends RingElem<C>>
      Parameters:
      p - polynomial.
      Returns:
      the index of the added polynomial.
    • put

      public int put(List<GenWordPolynomial<C>> F)
      Put all word polynomials in F to the pairlist and reduction matrix.
      Specified by:
      put in interface WordPairList<C extends RingElem<C>>
      Parameters:
      F - word polynomial list.
      Returns:
      the index of the last added word polynomial.
    • removeNext

      public WordPair<C> removeNext()
      Remove the next required pair from the pairlist and reduction matrix. Apply the criterion 3 to see if the S-polynomial is required.
      Specified by:
      removeNext in interface WordPairList<C extends RingElem<C>>
      Returns:
      the next pair if one exists, otherwise null.
    • hasNext

      public boolean hasNext()
      Test if there is possibly a pair in the list.
      Specified by:
      hasNext in interface WordPairList<C extends RingElem<C>>
      Returns:
      true if a next pair could exist, otherwise false.
    • getList

      public List<GenWordPolynomial<C>> getList()
      Get the list of polynomials.
      Specified by:
      getList in interface WordPairList<C extends RingElem<C>>
      Returns:
      the polynomial list.
    • putCount

      public int putCount()
      Get the number of polynomials put to the pairlist.
      Specified by:
      putCount in interface WordPairList<C extends RingElem<C>>
      Returns:
      the number of calls to put.
    • remCount

      public int remCount()
      Get the number of required pairs removed from the pairlist.
      Specified by:
      remCount in interface WordPairList<C extends RingElem<C>>
      Returns:
      the number of non null pairs delivered.
    • putOne

      public int putOne(GenWordPolynomial<C> one)
      Put the ONE-Polynomial to the pairlist.
      Parameters:
      one - polynomial. (no more required)
      Returns:
      the index of the last polynomial.
    • putOne

      public int putOne()
      Put the ONE-Polynomial to the pairlist.
      Specified by:
      putOne in interface WordPairList<C extends RingElem<C>>
      Returns:
      the index of the last polynomial.
    • criterion3

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