public interface PairList<C extends RingElem<C>>
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.
|
boolean |
criterion3(int i,
int j,
ExpVector eij)
GB criterium 3.
|
java.util.List<GenPolynomial<C>> |
getList()
Get the list of polynomials.
|
boolean |
hasNext()
Test if there is possibly a pair in the list.
|
int |
put(GenPolynomial<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 to ONE-Polynomial to the pairlist.
|
int |
remCount()
Get the number of required pairs removed from the pairlist.
|
Pair<C> |
removeNext()
Remove the next required pair from the pairlist and reduction matrix.
|
int |
size()
Get the size of the list of polynomials.
|
java.lang.String |
toString()
toString.
|
PairList<C> create(GenPolynomialRing<C> r)
r
- polynomial ring.PairList<C> create(int m, GenPolynomialRing<C> r)
m
- number of module variables.r
- polynomial ring.java.lang.String toString()
toString
in class java.lang.Object
int put(GenPolynomial<C> p)
p
- polynomial.int putOne()
Pair<C> removeNext()
boolean hasNext()
int size()
java.util.List<GenPolynomial<C>> getList()
int putCount()
int remCount()
boolean criterion3(int i, int j, ExpVector eij)