Package edu.jas.gb

Interface PairList<C extends RingElem<C>>

All Superinterfaces:

java.io.Serializable

All Known Implementing Classes:

CriticalPairList, OrderedDPairlist, OrderedMinPairlist, OrderedPairlist, OrderedRPairlist, OrderedSyzPairlist

public interface PairList<C extends RingElem<C>>
extends java.io.Serializable

Pair list management interface.

Author:

Heinz Kredel

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.
java.util.List<GenPolynomial<C>>	getList()	Get the list of polynomials.
GenPolynomialRing<C>	getRing()	Get polynomial ring.
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	put(java.util.List<GenPolynomial<C>> F)	Put all polynomials in F 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.
void	setList(java.util.List<GenPolynomial<C>> F)	Set the list of polynomials.
int	size()	Get the size of the list of polynomials.
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.

getRing

GenPolynomialRing<C> getRing()

Get polynomial ring.

Returns:

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

put

int put(java.util.List<GenPolynomial<C>> F)

Put all polynomials in F to the pairlist and reduction matrix.

Parameters:

F - polynomial list.

Returns:

the index of the last 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. Apply 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.

size

int size()

Get the size of the list of polynomials.

Returns:

size of the polynomial list.

getList

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

Get the list of polynomials.

Returns:

the polynomial list.

setList

void setList(java.util.List<GenPolynomial<C>> F)

Set the list of polynomials.

Parameters:

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