Class OrderedRPairlist<C extends RegularRingElem<C>>

java.lang.Object

edu.jas.gb.OrderedPairlist<C>

edu.jas.gbufd.OrderedRPairlist<C>

All Implemented Interfaces:

PairList<C>, Serializable

public class OrderedRPairlist<C extends RegularRingElem<C>>
extends OrderedPairlist<C>

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

See Also:

• Serialized Form

Field Summary

Fields

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

Fields inherited from class OrderedPairlist

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	criterion3(int i, int j, ExpVector eij)	GB criterium 3.
Pair<C>	removeNext()	Remove the next required pair from the pairlist and reduction matrix.

Methods inherited from class OrderedPairlist

create, create, 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

rreduction

protected final RReduction<C extends RegularRingElem<C>> rreduction

Constructor Details

OrderedRPairlist

public OrderedRPairlist(GenPolynomialRing<C> r)

Constructor for OrderedRPairlist.

Parameters:

r - polynomial factory.

OrderedRPairlist

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

Constructor for OrderedRPairlist.

Parameters:

m - number of module variables.

r - polynomial factory.

Method Details

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-polynomial is required.

Specified by:

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

Overrides:

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

Returns:

the next pair if one exists, otherwise null.

criterion3

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

GB criterium 3.

Specified by:

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

Overrides:

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

Returns:

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