edu.jas.gb

Class CriticalPairComparator<C extends RingElem<C>>

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 and Description
protected TermOrder.EVComparator	ec
TermOrder	tord

Constructor Summary

Constructors

Constructor and Description
CriticalPairComparator(TermOrder t) Constructor.

Method Summary

Modifier and Type	Method and 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

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, 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<AbstractPair<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