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

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected DReduction<C>	dreduction

Fields inherited from class edu.jas.gb.OrderedPairlist

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

Constructor Summary

Constructors

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

Method Summary

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

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

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.