Class CriticalPairComparator<C extends RingElem<C>>

java.lang.Object

edu.jas.gb.CriticalPairComparator<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

Serializable, Comparator<AbstractPair<C>>

public class CriticalPairComparator<C extends RingElem<C>>
extends Object
implements Serializable, Comparator<AbstractPair<C>>

Comparator for critical pairs of polynomials. Immutable objects.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected final TermOrder.EVComparator	ec
final TermOrder	tord

Constructor Summary

Constructors

Constructor	Description
CriticalPairComparator(TermOrder t)	Constructor.

Method Summary

Modifier and Type	Method	Description
int	compare(AbstractPair<C> p1, AbstractPair<C> p2)	Compare.
String	toString()	toString.

Methods inherited from class Object

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

Methods inherited from interface Comparator

equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Field Details

tord

public final TermOrder tord

ec

protected final TermOrder.EVComparator ec

Constructor Details

CriticalPairComparator

public CriticalPairComparator(TermOrder t)

Constructor.

Parameters:

t - TermOrder.

Method Details

compare

public int compare(AbstractPair<C> p1,
 AbstractPair<C> p2)

Compare. Compares exponents and if equal, compares polynomial indices.

Specified by:

compare in interface 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 String toString()

toString.

Overrides:

toString in class Object