OrderedRPairlist

java.lang.Object
- edu.jas.gb.OrderedPairlist<C>
- - edu.jas.gbufd.OrderedRPairlist<C>

All Implemented Interfaces:

PairList<C>, java.io.Serializable
```
public class OrderedRPairlist<C extends RegularRingElem<C>>
extends OrderedPairlist<C>
```
Pair list management for R-Groebner bases. Implemented using GenPolynomial, TreeMap and BitSet.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

protected RReduction<C> rreduction
- Fields inherited from class edu.jas.gb.OrderedPairlist
  moduleVars, oneInGB, P, pairlist, putCount, red, reduction, remCount, ring, useCriterion4

Constructor Summary

Constructors
Constructor	Description
`OrderedRPairlist(int m, GenPolynomialRing<C> r)`	Constructor for OrderedRPairlist.
`OrderedRPairlist(GenPolynomialRing<C> r)`	Constructor for OrderedRPairlist.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`criterion3(int i, int j, ExpVector eij)`	GB criterium 3.
`Pair<C>`	`removeNext()`	Remove the next required pair from the pairlist and reduction matrix.

Methods inherited from class edu.jas.gb.OrderedPairlist
create, create, getList, getRing, hasNext, put, put, putCount, putOne, putOne, remCount, setList, size, toString

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - rreduction
```
protected final RReduction<C extends RegularRingElem<C>> rreduction
```
- Constructor Detail
  - OrderedRPairlist
```
public OrderedRPairlist(GenPolynomialRing<C> r)
```
    Constructor for OrderedRPairlist.
    
    Parameters:
    
    r - polynomial factory.
  - OrderedRPairlist
```
public OrderedRPairlist(int m,
                        GenPolynomialRing<C> r)
```
    Constructor for OrderedRPairlist.
    
    Parameters:
    
    m - number of module variables.
    
    r - polynomial factory.
- Method Detail
  - removeNext
```
public 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.
    
    Specified by:
    
    removeNext in interface PairList<C extends RegularRingElem<C>>
    
    Overrides:
    
    removeNext in class OrderedPairlist<C extends RegularRingElem<C>>
    
    Returns:
    
    the next pair if one exists, otherwise null.
  - criterion3
```
public boolean criterion3(int i,
                          int j,
                          ExpVector eij)
```
    GB criterium 3.
    
    Specified by:
    
    criterion3 in interface PairList<C extends RegularRingElem<C>>
    
    Overrides:
    
    criterion3 in class OrderedPairlist<C extends RegularRingElem<C>>
    
    Returns:
    
    true if the S-polynomial(i,j) is required.