Package edu.jas.gb

Class OrderedWordPairlist<C extends RingElem<C>>

  • All Implemented Interfaces:
    WordPairList<C>

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

      • pairlist

        protected final java.util.SortedMap<Word,​java.util.LinkedList<WordPair<C extends RingElem<C>>>> pairlist
      • red

        protected final java.util.List<java.util.BitSet> red
      • oneInGB

        protected boolean oneInGB
      • putCount

        protected int putCount
      • remCount

        protected int remCount
      • logger

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

      • OrderedWordPairlist

        public OrderedWordPairlist()
        Constructor.
      • OrderedWordPairlist

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

      • toString

        public java.lang.String toString()
        toString.
        Specified by:
        toString in interface WordPairList<C extends RingElem<C>>
        Overrides:
        toString in class java.lang.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​(java.util.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.
      • 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.