Class OrderedDPairlist<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.OrderedPairlist<C>

edu.jas.gb.OrderedDPairlist<C>

All Implemented Interfaces:

PairList<C>, Serializable

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

Pair list management for d-Groebner bases. Implemented using GenPolynomial, TreeMap and BitSet.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected final DReduction<C>	dreduction
private static final org.apache.logging.log4j.Logger	logger

Fields inherited from class OrderedPairlist

moduleVars, oneInGB, P, pairlist, putCount, red, reduction, remCount, ring, useCriterion4

Constructor Summary

Constructors

Constructor	Description
OrderedDPairlist(int m, GenPolynomialRing<C> r)	Constructor for OrderedDPairlist.
OrderedDPairlist(GenPolynomialRing<C> r)	Constructor for OrderedDPairlist.

Method Summary

Modifier and Type	Method	Description
PairList<C>	create(int m, GenPolynomialRing<C> r)	Create a new PairList.
PairList<C>	create(GenPolynomialRing<C> r)	Create a new PairList.
boolean	criterion3(int i, int j, ExpVector eij)	GB criterium 3 with coefficient division test.
Pair<C>	removeNext()	Remove the next required pair from the pairlist and reduction matrix.

Methods inherited from class OrderedPairlist

getList, getRing, hasNext, put, put, putCount, putOne, putOne, remCount, setList, size, toString

Methods inherited from class Object

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

Field Details

logger

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

dreduction

protected final DReduction<C extends RingElem<C>> dreduction

Constructor Details

OrderedDPairlist

public OrderedDPairlist(GenPolynomialRing<C> r)

Constructor for OrderedDPairlist.

Parameters:

r - polynomial factory.

OrderedDPairlist

public OrderedDPairlist(int m,
 GenPolynomialRing<C> r)

Constructor for OrderedDPairlist.

Parameters:

m - number of module variables.

r - polynomial factory.

Method Details

create

public PairList<C> create(GenPolynomialRing<C> r)

Create a new PairList.

Specified by:

create in interface PairList<C extends RingElem<C>>

Overrides:

create in class OrderedPairlist<C extends RingElem<C>>

Parameters:

r - polynomial ring.

create

public PairList<C> create(int m,
 GenPolynomialRing<C> r)

Create a new PairList.

Specified by:

create in interface PairList<C extends RingElem<C>>

Overrides:

create in class OrderedPairlist<C extends RingElem<C>>

Parameters:

m - number of module variables.

r - polynomial ring.

removeNext

public Pair<C> removeNext()

Remove the next required pair from the pairlist and reduction matrix. The results of the application of the criterions 3 and 4 to see if the S-polynomial is required are recorded in the Pair.

Specified by:

removeNext in interface PairList<C extends RingElem<C>>

Overrides:

removeNext in class OrderedPairlist<C extends RingElem<C>>

Returns:

the next pair if one exists, otherwise null.

criterion3

public boolean criterion3(int i,
 int j,
 ExpVector eij)

GB criterium 3 with coefficient division test.

Specified by:

criterion3 in interface PairList<C extends RingElem<C>>

Overrides:

criterion3 in class OrderedPairlist<C extends RingElem<C>>

Returns:

true if the S-polynomial(i,j) is required.