Package edu.jas.gb

Interface WordPairList<C extends RingElem<C>>

    • Method Detail

      • toString

        java.lang.String toString()
        toString.
        Overrides:
        toString in class java.lang.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​(java.util.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<CremoveNext()
        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

        java.util.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.