Package 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:
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:
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionint
compare
(AbstractPair<C> p1, AbstractPair<C> p2) Compare.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 Details
-
tord
-
ec
-
-
Constructor Details
-
CriticalPairComparator
Constructor.- Parameters:
t
- TermOrder.
-
-
Method Details
-
compare
Compare. Compares exponents and if equal, compares polynomial indices.- Specified by:
compare
in interfaceComparator<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
toString.
-