public class CriticalPairList<C extends RingElem<C>> extends OrderedPairlist<C>
Modifier and Type | Field and Description |
---|---|
protected java.util.SortedSet<CriticalPair<C>> |
pairlist |
protected int |
recordCount |
moduleVars, oneInGB, P, putCount, red, reduction, remCount, ring, useCriterion4
Constructor and Description |
---|
CriticalPairList()
Constructor for CriticalPairList.
|
CriticalPairList(GenPolynomialRing<C> r)
Constructor for CriticalPairList.
|
CriticalPairList(int m,
GenPolynomialRing<C> r)
Constructor for CriticalPairList.
|
Modifier and Type | Method and Description |
---|---|
PairList<C> |
create(GenPolynomialRing<C> r)
Create a new PairList.
|
PairList<C> |
create(int m,
GenPolynomialRing<C> r)
Create a new PairList.
|
CriticalPair<C> |
getNext()
Get the next required pair from the pairlist.
|
boolean |
hasNext()
Test if there is possibly a pair in the list.
|
java.util.List<CriticalPair<C>> |
inWork()
In work pairs.
|
int |
put(GenPolynomial<C> p)
Put a polynomial to the pairlist and reduction matrix.
|
int |
putOne()
Put the ONE-Polynomial to the pairlist.
|
int |
record(CriticalPair<C> pair,
GenPolynomial<C> p)
Record reduced polynomial.
|
Pair<C> |
removeNext()
Get and remove the next required pair from the pairlist.
|
int |
update()
Update pairlist.
|
int |
update(CriticalPair<C> pair,
GenPolynomial<C> p)
Record reduced polynomial and update critical pair list.
|
int |
updateMany()
Update pairlist, several pairs at once.
|
criterion3, getList, put, putCount, putOne, remCount, setList, size, toString
protected final java.util.SortedSet<CriticalPair<C extends RingElem<C>>> pairlist
protected int recordCount
public CriticalPairList()
public CriticalPairList(GenPolynomialRing<C> r)
r
- polynomial factory.public CriticalPairList(int m, GenPolynomialRing<C> r)
m
- number of module variables.r
- polynomial factory.public PairList<C> create(GenPolynomialRing<C> r)
public PairList<C> create(int m, GenPolynomialRing<C> r)
public int put(GenPolynomial<C> p)
public boolean hasNext()
public Pair<C> removeNext()
removeNext
in interface PairList<C extends RingElem<C>>
removeNext
in class OrderedPairlist<C extends RingElem<C>>
public CriticalPair<C> getNext()
public int record(CriticalPair<C> pair, GenPolynomial<C> p)
pair
- the corresponding critical pair.p
- polynomial.public int update(CriticalPair<C> pair, GenPolynomial<C> p)
pair
- the corresponding critical pair.p
- polynomial.public int update()
public java.util.List<CriticalPair<C>> inWork()
public int updateMany()