edu.jas.ring
Class OrderedDPairlist<C extends RingElem<C>>

java.lang.Object
  edu.jas.ring.OrderedPairlist<C>
      edu.jas.ring.OrderedDPairlist<C>

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

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

Author:

Heinz Kredel

Field Summary

protected DReduction<C>

dreduction

Fields inherited from class edu.jas.ring.OrderedPairlist

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

Constructor Summary

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

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

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.ring.OrderedPairlist

getList, hasNext, put, putCount, putOne, remCount

Methods inherited from class java.lang.Object

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

Field Detail

dreduction

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

Constructor Detail

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 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.

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.

Overrides:

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

Returns:

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