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 Details

  • 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