edu.jas.ring
Class OrderedPairlist

java.lang.Object
  edu.jas.ring.OrderedPairlist

public class OrderedPairlist
extends java.lang.Object

Pair list management. Implemented using OrderedPolynomial, TreeMap and BitSet.

Constructor Summary

OrderedPairlist(int m, TermOrder to)

OrderedPairlist(TermOrder to)
Constructor for OrderedPairlist

Method Summary

boolean	GBCriterion3(int i, int j, ExpVector eij) GB criterium 3.
java.util.ArrayList	getList() Get the list of polynomials
boolean	hasNext() Test if there is possibly a pair in the list
int	put(OrderedPolynomial p) Put one Polynomial to the pairlist and reduction matrix returns the index of the added polynomial.
int	putCount() Get the number of polynomials put to the pairlist
int	putOne(OrderedPolynomial one) Put to ONE-Polynomial to the pairlist returns the index of the last polynomial.
int	remCount() Get the number of required pairs removed from the pairlist
Pair	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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OrderedPairlist

public OrderedPairlist(TermOrder to)

Constructor for OrderedPairlist

OrderedPairlist

public OrderedPairlist(int m,
                       TermOrder to)

Method Detail

put

public int put(OrderedPolynomial p)

Put one Polynomial to the pairlist and reduction matrix returns the index of the added polynomial.

removeNext

public Pair 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

hasNext

public boolean hasNext()

Test if there is possibly a pair in the list

getList

public java.util.ArrayList getList()

Get the list of polynomials

putCount

public int putCount()

Get the number of polynomials put to the pairlist

remCount

public int remCount()

Get the number of required pairs removed from the pairlist

putOne

public int putOne(OrderedPolynomial one)

Put to ONE-Polynomial to the pairlist returns the index of the last polynomial.

GBCriterion3

public boolean GBCriterion3(int i,
                            int j,
                            ExpVector eij)

GB criterium 3.

Returns:

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