public class OrderedPairlist<C extends RingElem<C>> extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected int |
moduleVars |
protected boolean |
oneInGB |
protected java.util.ArrayList<MultiVarPowerSeries<C>> |
P |
protected java.util.TreeMap<ExpVector,java.util.LinkedList<Pair<C>>> |
pairlist |
protected int |
putCount |
protected java.util.ArrayList<java.util.BitSet> |
red |
protected ReductionSeq<C> |
reduction |
protected int |
remCount |
protected MultiVarPowerSeriesRing<C> |
ring |
protected boolean |
useCriterion3 |
protected boolean |
useCriterion4 |
Constructor and Description |
---|
OrderedPairlist(int m,
MultiVarPowerSeriesRing<C> r)
Constructor for OrderedPairlist.
|
OrderedPairlist(MultiVarPowerSeriesRing<C> r)
Constructor for OrderedPairlist.
|
Modifier and Type | Method and Description |
---|---|
boolean |
criterion3(int i,
int j,
ExpVector eij)
GB criterion 3.
|
java.util.List<MultiVarPowerSeries<C>> |
getList()
Get the list of power series.
|
boolean |
hasNext()
Test if there is possibly a pair in the list.
|
int |
put(java.util.List<MultiVarPowerSeries<C>> F)
Put all power series in F to the pairlist and reduction matrix.
|
int |
put(MultiVarPowerSeries<C> p)
Put one power Series to the pairlist and reduction matrix.
|
int |
putCount()
Get the number of power series put to the pairlist.
|
int |
putOne()
Put the ONE-power-series to the pairlist.
|
int |
putOne(MultiVarPowerSeries<C> one)
Put to ONE-power-series 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.
|
java.lang.String |
toString()
toString.
|
protected final java.util.ArrayList<MultiVarPowerSeries<C extends RingElem<C>>> P
protected final java.util.TreeMap<ExpVector,java.util.LinkedList<Pair<C extends RingElem<C>>>> pairlist
protected final java.util.ArrayList<java.util.BitSet> red
protected final MultiVarPowerSeriesRing<C extends RingElem<C>> ring
protected final ReductionSeq<C extends RingElem<C>> reduction
protected boolean oneInGB
protected boolean useCriterion4
protected boolean useCriterion3
protected int putCount
protected int remCount
protected final int moduleVars
public OrderedPairlist(MultiVarPowerSeriesRing<C> r)
r
- power series factory.public OrderedPairlist(int m, MultiVarPowerSeriesRing<C> r)
m
- number of module variables.r
- power series factory.public java.lang.String toString()
toString
in class java.lang.Object
public int put(MultiVarPowerSeries<C> p)
p
- power series.public int put(java.util.List<MultiVarPowerSeries<C>> F)
F
- power series list.public Pair<C> removeNext()
public boolean hasNext()
public java.util.List<MultiVarPowerSeries<C>> getList()
public int putCount()
public int remCount()
public int putOne(MultiVarPowerSeries<C> one)
one
- power series. (no more required)public int putOne()
public boolean criterion3(int i, int j, ExpVector eij)