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>

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

Field Summary

protected RReduction<C>

rreduction

Fields inherited from class edu.jas.gb.OrderedPairlist

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

Constructor Summary

OrderedRPairlist(GenPolynomialRing<C> r)
Constructor for OrderedRPairlist.

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

Method Summary

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, putCount, putOne, putOne, remCount, 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.