Class OrderedPairlist<C extends RingElem<C>>

java.lang.Object

edu.jas.ps.OrderedPairlist<C>

public class OrderedPairlist<C extends RingElem<C>>
extends Object

Pair list management. Implemented using MultiVarPowerSeries, TreeMap and BitSet.

Field Summary

Fields

Modifier and Type	Field	Description
private static final org.apache.logging.log4j.Logger	logger
protected final int	moduleVars
protected boolean	oneInGB
protected final ArrayList<MultiVarPowerSeries<C>>	P
protected final TreeMap<ExpVector, LinkedList<Pair<C>>>	pairlist
protected int	putCount
protected final ArrayList<BitSet>	red
protected final ReductionSeq<C>	reduction
protected int	remCount
protected final 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

Modifier and Type	Method	Description
boolean	criterion3(int i, int j, ExpVector eij)	GB criterion 3.
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(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.
String	toString()	toString.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

P

protected final ArrayList<MultiVarPowerSeries<C extends RingElem<C>>> P

pairlist

protected final TreeMap<ExpVector, LinkedList<Pair<C extends RingElem<C>>>> pairlist

red

protected final ArrayList<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

logger

private static final org.apache.logging.log4j.Logger logger

Constructor Details

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 Details

toString

public String toString()

toString.

Overrides:

toString in class 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(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 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.