edu.jas.gbufd

Class OrderedRPairlist<C extends RegularRingElem<C>>

java.lang.Object

edu.jas.gb.OrderedPairlist<C>

edu.jas.gbufd.OrderedRPairlist<C>

All Implemented Interfaces:

PairList<C>, java.io.Serializable

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

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

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected RReduction<C>	rreduction

Fields inherited from class edu.jas.gb.OrderedPairlist

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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 edu.jas.gb.OrderedPairlist

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

Methods inherited from class java.lang.Object

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

Field Detail

rreduction

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

Constructor Detail

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 Detail

removeNext

public Pair<C> removeNext()

Remove the next required pair from the pairlist and reduction matrix. Appy 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.