edu.jas.ring
Class OrderedPairlist

java.lang.Object
  extended by 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.