CriticalPairComparator

java.lang.Object
- edu.jas.gb.CriticalPairComparator<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

java.io.Serializable, java.util.Comparator<AbstractPair<C>>
```
public class CriticalPairComparator<C extends RingElem<C>>
extends java.lang.Object
implements java.io.Serializable, java.util.Comparator<AbstractPair<C>>
```
Comparator for critical pairs of polynomials. Immutable objects.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

protected TermOrder.EVComparator ec

TermOrder tord

Constructor Summary

Constructors
Constructor Description

CriticalPairComparator(TermOrder t)
Constructor.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`compare(AbstractPair<C> p1, AbstractPair<C> p2)`	Compare.
`java.lang.String`	`toString()`	toString.

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

Methods inherited from interface java.util.Comparator
equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

- Field Detail
  - tord
```
public final TermOrder tord
```
  - ec
```
protected final TermOrder.EVComparator ec
```
- Constructor Detail
  - CriticalPairComparator
```
public CriticalPairComparator(TermOrder t)
```
    Constructor.
    
    Parameters:
    
    t - TermOrder.
- Method Detail
  - compare
```
public int compare(AbstractPair<C> p1,
                   AbstractPair<C> p2)
```
    Compare. Compares exponents and if equal, compares polynomial indices.
    
    Specified by:
    
    compare in interface java.util.Comparator<C extends RingElem<C>>
    
    Parameters:
    
    p1 - first critical pair.
    
    p2 - second critical pair.
    
    Returns:
    
    0 if ( p1 == p2 ), -1 if ( p1 < p2 ) and +1 if ( p1 > p2 ).
  - toString
```
public java.lang.String toString()
```
    toString.
    
    Overrides:
    
    toString in class java.lang.Object