public class OrderedWordPairlist<C extends RingElem<C>> extends java.lang.Object implements WordPairList<C>
Modifier and Type | Field and Description |
---|---|
protected boolean |
oneInGB |
protected java.util.List<GenWordPolynomial<C>> |
P |
protected java.util.SortedMap<Word,java.util.LinkedList<WordPair<C>>> |
pairlist |
protected int |
putCount |
protected java.util.List<java.util.BitSet> |
red |
protected WordReduction<C> |
reduction |
protected int |
remCount |
protected GenWordPolynomialRing<C> |
ring |
Constructor and Description |
---|
OrderedWordPairlist()
Constructor.
|
OrderedWordPairlist(GenWordPolynomialRing<C> r)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
WordPairList<C> |
create(GenWordPolynomialRing<C> r)
Create a new WordPairList.
|
boolean |
criterion3(int i,
int j,
Word eij)
GB criterium 3.
|
java.util.List<GenWordPolynomial<C>> |
getList()
Get the list of polynomials.
|
boolean |
hasNext()
Test if there is possibly a pair in the list.
|
int |
put(GenWordPolynomial<C> p)
Put one Polynomial to the pairlist and reduction matrix.
|
int |
putCount()
Get the number of polynomials put to the pairlist.
|
int |
putOne()
Put the ONE-Polynomial to the pairlist.
|
int |
putOne(GenWordPolynomial<C> one)
Put the ONE-Polynomial to the pairlist.
|
int |
remCount()
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.String |
toString()
toString.
|
protected final java.util.List<GenWordPolynomial<C extends RingElem<C>>> P
protected final java.util.SortedMap<Word,java.util.LinkedList<WordPair<C extends RingElem<C>>>> pairlist
protected final java.util.List<java.util.BitSet> red
protected final GenWordPolynomialRing<C extends RingElem<C>> ring
protected final WordReduction<C extends RingElem<C>> reduction
protected boolean oneInGB
protected int putCount
protected int remCount
public OrderedWordPairlist()
public OrderedWordPairlist(GenWordPolynomialRing<C> r)
r
- word polynomial factory.public WordPairList<C> create(GenWordPolynomialRing<C> r)
create
in interface WordPairList<C extends RingElem<C>>
r
- word polynomial ring.public java.lang.String toString()
toString
in interface WordPairList<C extends RingElem<C>>
toString
in class java.lang.Object
public int put(GenWordPolynomial<C> p)
put
in interface WordPairList<C extends RingElem<C>>
p
- polynomial.public WordPair<C> removeNext()
removeNext
in interface WordPairList<C extends RingElem<C>>
public boolean hasNext()
hasNext
in interface WordPairList<C extends RingElem<C>>
public java.util.List<GenWordPolynomial<C>> getList()
getList
in interface WordPairList<C extends RingElem<C>>
public int putCount()
putCount
in interface WordPairList<C extends RingElem<C>>
public int remCount()
remCount
in interface WordPairList<C extends RingElem<C>>
public int putOne(GenWordPolynomial<C> one)
one
- polynomial. (no more required)public int putOne()
putOne
in interface WordPairList<C extends RingElem<C>>
public boolean criterion3(int i, int j, Word eij)