Package edu.jas.ps
Class OrderedPairlist<C extends RingElem<C>>
- java.lang.Object
-
- edu.jas.ps.OrderedPairlist<C>
-
public class OrderedPairlist<C extends RingElem<C>> extends java.lang.Object
Pair list management. Implemented using MultiVarPowerSeries, TreeMap and BitSet.- Author:
- Heinz Kredel
-
-
Field Summary
Fields Modifier and Type Field 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 Summary
Constructors Constructor Description OrderedPairlist(int m, MultiVarPowerSeriesRing<C> r)
Constructor for OrderedPairlist.OrderedPairlist(MultiVarPowerSeriesRing<C> r)
Constructor for OrderedPairlist.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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(MultiVarPowerSeries<C> p)
Put one power Series to the pairlist and reduction matrix.int
put(java.util.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.Pair<C>
removeNext()
Remove the next required pair from the pairlist and reduction matrix.java.lang.String
toString()
toString.
-
-
-
Field Detail
-
P
protected final java.util.ArrayList<MultiVarPowerSeries<C extends RingElem<C>>> P
-
pairlist
protected final java.util.TreeMap<ExpVector,java.util.LinkedList<Pair<C extends RingElem<C>>>> pairlist
-
red
protected final java.util.ArrayList<java.util.BitSet> red
-
ring
protected final MultiVarPowerSeriesRing<C extends RingElem<C>> ring
-
reduction
protected final ReductionSeq<C extends RingElem<C>> 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
-
-
Constructor Detail
-
OrderedPairlist
public OrderedPairlist(MultiVarPowerSeriesRing<C> r)
Constructor for OrderedPairlist.- Parameters:
r
- power series factory.
-
OrderedPairlist
public OrderedPairlist(int m, MultiVarPowerSeriesRing<C> r)
Constructor for OrderedPairlist.- Parameters:
m
- number of module variables.r
- power series factory.
-
-
Method Detail
-
toString
public java.lang.String toString()
toString.- Overrides:
toString
in classjava.lang.Object
-
put
public int put(MultiVarPowerSeries<C> p)
Put one power Series to the pairlist and reduction matrix.- Parameters:
p
- power series.- Returns:
- the index of the added power series.
-
put
public int put(java.util.List<MultiVarPowerSeries<C>> F)
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
public Pair<C> 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
public java.util.List<MultiVarPowerSeries<C>> 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
public int putOne(MultiVarPowerSeries<C> one)
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
public boolean criterion3(int i, int j, ExpVector eij)
GB criterion 3.- Returns:
- true if the S-power-series(i,j) is required.
-
-