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

protected java.util.Comparator<ExpVector>	ec
TermOrder	tord

Constructor Summary

CriticalPairComparator(TermOrder t)
Constructor.

Method Summary

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

Field Detail

tord

public final TermOrder tord

ec

protected final java.util.Comparator<ExpVector> 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