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.- Author:
- Heinz Kredel
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description WordPairList<C>create(GenWordPolynomialRing<C> r)Create a new WordPairList.java.util.List<GenWordPolynomial<C>>getList()Get the list of word polynomials.booleanhasNext()Test if there is possibly a pair in the list.intput(GenWordPolynomial<C> p)Put one Word Polynomial to the pairlist and reduction matrix.intput(java.util.List<GenWordPolynomial<C>> F)Put all word polynomials in F to the pairlist and reduction matrix.intputCount()Get the number of polynomials put to the pairlist.intputOne()Put to ONE-Polynomial to the pairlist.intremCount()Get the number of required pairs removed from the pairlist.WordPair<C>removeNext()Remove the next required pair from the pairlist and reduction matrix.java.lang.StringtoString()toString.
-
-
-
Method Detail
-
create
WordPairList<C> create(GenWordPolynomialRing<C> r)
Create a new WordPairList.- Parameters:
r- word polynomial ring.
-
toString
java.lang.String toString()
toString.- Overrides:
toStringin classjava.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<C> removeNext()
Remove the next required pair from the pairlist and reduction matrix. Appy 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.
-
-