edu.jas.gb
Interface PairList<C extends RingElem<C>>

All Known Implementing Classes:

CriticalPairList, OrderedDPairlist, OrderedMinPairlist, OrderedPairlist, OrderedRPairlist, OrderedSyzPairlist

public interface PairList<C extends RingElem<C>>

Pair list management interface.

Author:

Heinz Kredel

Method Summary

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.
java.util.List<GenPolynomial<C>>	getList() Get the list of polynomials.
boolean	hasNext() Test if there is possibly a pair in the list.
int	put(GenPolynomial<C> p) Put one Polynomial to the pairlist and reduction matrix.
int	putCount() Get the number of polynomials put to the pairlist.
int	putOne() Put to ONE-Polynomial to the pairlist.
int	remCount() Get the number of required pairs removed from the pairlist.
Pair<C>	removeNext() Remove the next required pair from the pairlist and reduction matrix.
java.lang.String	toString() toString.

Method Detail

create

PairList<C> create(GenPolynomialRing<C> r)

Create a new PairList.

Parameters:

r - polynomial ring.

create

PairList<C> create(int m,
                   GenPolynomialRing<C> r)

Create a new PairList.

Parameters:

m - number of module variables.

r - polynomial ring.

toString

java.lang.String toString()

toString.

Overrides:

toString in class java.lang.Object

put

int put(GenPolynomial<C> p)

Put one Polynomial to the pairlist and reduction matrix.

Parameters:

p - polynomial.

Returns:

the index of the added polynomial.

putOne

int putOne()

Put to ONE-Polynomial to the pairlist.

Returns:

the index of the last polynomial.

removeNext

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.

Returns:

the next pair if one exists, otherwise null.

hasNext

boolean hasNext()

Test if there is possibly a pair in the list.

Returns:

true if a next pair could exist, otherwise false.

getList

java.util.List<GenPolynomial<C>> getList()

Get the list of polynomials.

Returns:

the polynomial list.

putCount

int putCount()

Get the number of polynomials put to the pairlist.

Returns:

the number of calls to put.

remCount

int remCount()

Get the number of required pairs removed from the pairlist.

Returns:

the number of non null pairs delivered.

criterion3

boolean criterion3(int i,
                   int j,
                   ExpVector eij)

GB criterium 3.

Returns:

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