edu.jas.gb

Class OrderedDPairlist<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.OrderedPairlist<C>

edu.jas.gb.OrderedDPairlist<C>

All Implemented Interfaces:

PairList<C>, java.io.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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
PairList<C>	create(GenPolynomialRing<C> r) Create a new PairList.
PairList<C>	create(int m, 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 edu.jas.gb.OrderedPairlist

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

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.