Package edu.jas.ps
Class OrderedPairlist<C extends RingElem<C>>
java.lang.Object
edu.jas.ps.OrderedPairlist<C>
Pair list management. Implemented using MultiVarPowerSeries, TreeMap and
BitSet.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final org.apache.logging.log4j.Logger
protected final int
protected boolean
protected final ArrayList
<MultiVarPowerSeries<C>> protected final TreeMap
<ExpVector, LinkedList<Pair<C>>> protected int
protected final ReductionSeq
<C> protected int
protected final MultiVarPowerSeriesRing
<C> protected boolean
protected boolean
-
Constructor Summary
ConstructorsConstructorDescriptionOrderedPairlist
(int m, MultiVarPowerSeriesRing<C> r) Constructor for OrderedPairlist.Constructor for OrderedPairlist. -
Method Summary
Modifier and TypeMethodDescriptionboolean
criterion3
(int i, int j, ExpVector eij) GB criterion 3.getList()
Get the list of power series.boolean
hasNext()
Test if there is possibly a pair in the list.int
put
(MultiVarPowerSeries<C> p) Put one power Series to the pairlist and reduction matrix.int
put
(List<MultiVarPowerSeries<C>> F) Put all power series in F 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.Remove the next required pair from the pairlist and reduction matrix.toString()
toString.
-
Field Details
-
P
-
pairlist
-
red
-
ring
-
reduction
-
oneInGB
protected boolean oneInGB -
useCriterion4
protected boolean useCriterion4 -
useCriterion3
protected boolean useCriterion3 -
putCount
protected int putCount -
remCount
protected int remCount -
moduleVars
protected final int moduleVars -
logger
private static final org.apache.logging.log4j.Logger logger
-
-
Constructor Details
-
OrderedPairlist
Constructor for OrderedPairlist.- Parameters:
r
- power series factory.
-
OrderedPairlist
Constructor for OrderedPairlist.- Parameters:
m
- number of module variables.r
- power series factory.
-
-
Method Details
-
toString
toString. -
put
Put one power Series to the pairlist and reduction matrix.- Parameters:
p
- power series.- Returns:
- the index of the added power series.
-
put
Put all power series in F to the pairlist and reduction matrix.- Parameters:
F
- power series list.- Returns:
- the index of the last added power series.
-
removeNext
Remove the next required pair from the pairlist and reduction matrix. Apply the criterions 3 and 4 to see if the S-power-series is required.- Returns:
- the next pair if one exists, otherwise null.
-
hasNext
public boolean hasNext()Test if there is possibly a pair in the list.- Returns:
- true if a next pair could exist, otherwise false.
-
getList
Get the list of power series.- Returns:
- the power series list.
-
putCount
public int putCount()Get the number of power series put to the pairlist.- Returns:
- the number of calls to put.
-
remCount
public int remCount()Get the number of required pairs removed from the pairlist.- Returns:
- the number of non null pairs delivered.
-
putOne
Put to ONE-power-series to the pairlist.- Parameters:
one
- power series. (no more required)- Returns:
- the index of the last power series.
-
putOne
public int putOne()Put the ONE-power-series to the pairlist.- Returns:
- the index of the last power-series.
-
criterion3
GB criterion 3.- Returns:
- true if the S-power-series(i,j) is required.
-