public class OrderedSyzPairlist<C extends RingElem<C>> extends OrderedPairlist<C>
moduleVars, oneInGB, P, pairlist, putCount, red, reduction, remCount, ring, useCriterion4
Constructor and Description |
---|
OrderedSyzPairlist()
Constructor.
|
OrderedSyzPairlist(GenPolynomialRing<C> r)
Constructor.
|
OrderedSyzPairlist(int m,
GenPolynomialRing<C> r)
Constructor.
|
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.
|
int |
put(GenPolynomial<C> p)
Put one Polynomial to the pairlist and reduction matrix.
|
Pair<C> |
removeNext()
Remove the next required pair from the pairlist and reduction matrix.
|
public OrderedSyzPairlist()
public OrderedSyzPairlist(GenPolynomialRing<C> r)
r
- polynomial factory.public OrderedSyzPairlist(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 Pair<C> removeNext()
removeNext
in interface PairList<C extends RingElem<C>>
removeNext
in class OrderedPairlist<C extends RingElem<C>>
public boolean criterion3(int i, int j, ExpVector eij)
criterion3
in interface PairList<C extends RingElem<C>>
criterion3
in class OrderedPairlist<C extends RingElem<C>>