edu.jas.gb

Interface WordPairList<C extends RingElem<C>>

All Known Implementing Classes:

OrderedWordPairlist

public interface WordPairList<C extends RingElem<C>>

WordPair list management interface.

Author:

Heinz Kredel

Method Summary

Modifier and Type	Method and Description
WordPairList<C>	create(GenWordPolynomialRing<C> r) Create a new WordPairList.
java.util.List<GenWordPolynomial<C>>	getList() Get the list of word polynomials.
boolean	hasNext() Test if there is possibly a pair in the list.
int	put(GenWordPolynomial<C> p) Put one Word Polynomial to the pairlist and reduction matrix.
int	put(java.util.List<GenWordPolynomial<C>> F) Put all word 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.
WordPair<C>	removeNext() Remove the next required pair from the pairlist and reduction matrix.
java.lang.String	toString() toString.

Method Detail

create

WordPairList<C> create(GenWordPolynomialRing<C> r)

Create a new WordPairList.

Parameters:

r - word polynomial ring.

toString

java.lang.String toString()

toString.

Overrides:

toString in class java.lang.Object

put

int put(GenWordPolynomial<C> p)

Put one Word Polynomial to the pairlist and reduction matrix.

Parameters:

p - word polynomial.

Returns:

the index of the added word polynomial.

put

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

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

Parameters:

F - word polynomial list.

Returns:

the index of the last added word polynomial.

putOne

int putOne()

Put to ONE-Polynomial to the pairlist.

Returns:

the index of the last polynomial.

removeNext

WordPair<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<GenWordPolynomial<C>> getList()

Get the list of word polynomials.

Returns:

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