Packages

class PartitionOrdering extends MonomialOrdering

The ConstantTerms in list are given highest order according to the sorting of list. Falling back on ordering if not found in list

Linear Supertypes
MonomialOrdering, Ordering[Monomial], PartialOrdering[Monomial], Equiv[Monomial], Serializable, Comparator[Monomial], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PartitionOrdering
  2. MonomialOrdering
  3. Ordering
  4. PartialOrdering
  5. Equiv
  6. Serializable
  7. Comparator
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new PartitionOrdering(list: Seq[ConstantTerm], backup: MonomialOrdering)

Type Members

  1. class OrderingOps extends AnyRef
    Definition Classes
    Ordering

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. implicit val backup: MonomialOrdering
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  7. def compare(m1: Monomial, m2: Monomial): Int
    Definition Classes
    PartitionOrdering → Ordering → Comparator
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  10. def equiv(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering → Equiv
  11. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  12. def gt(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering
  13. def gteq(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering
  14. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. def isReverseOf(other: Ordering[_]): Boolean
    Definition Classes
    Ordering
  17. def lexcompare(keys1: List[(ConstantTerm, Int)], keys2: List[(ConstantTerm, Int)]): Int
    Definition Classes
    MonomialOrdering
  18. val list: Seq[ConstantTerm]
  19. def lt(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering
  20. def lteq(x: Monomial, y: Monomial): Boolean
    Definition Classes
    Ordering → PartialOrdering
  21. def max[U <: Monomial](x: U, y: U): U
    Definition Classes
    Ordering
  22. def min[U <: Monomial](x: U, y: U): U
    Definition Classes
    Ordering
  23. implicit def mkOrderingOps(lhs: Monomial): OrderingOps
    Definition Classes
    Ordering
  24. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  25. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  26. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  27. def on[U](f: (U) => Monomial): Ordering[U]
    Definition Classes
    Ordering
  28. def orElse(other: Ordering[Monomial]): Ordering[Monomial]
    Definition Classes
    Ordering
  29. def orElseBy[S](f: (Monomial) => S)(implicit ord: Ordering[S]): Ordering[Monomial]
    Definition Classes
    Ordering
  30. def reverse: Ordering[Monomial]
    Definition Classes
    Ordering → PartialOrdering
  31. def reversed(): Comparator[Monomial]
    Definition Classes
    Comparator
  32. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  33. val termOrdering: Ordering[ConstantTerm]
    Definition Classes
    MonomialOrdering
  34. def thenComparing[U <: Comparable[_ >: U <: AnyRef]](arg0: Function[_ >: Monomial <: AnyRef, _ <: U]): Comparator[Monomial]
    Definition Classes
    Comparator
  35. def thenComparing[U <: AnyRef](arg0: Function[_ >: Monomial <: AnyRef, _ <: U], arg1: Comparator[_ >: U <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  36. def thenComparing(arg0: Comparator[_ >: Monomial <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  37. def thenComparingDouble(arg0: ToDoubleFunction[_ >: Monomial <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  38. def thenComparingInt(arg0: ToIntFunction[_ >: Monomial <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  39. def thenComparingLong(arg0: ToLongFunction[_ >: Monomial <: AnyRef]): Comparator[Monomial]
    Definition Classes
    Comparator
  40. def toString(): String
    Definition Classes
    PartitionOrdering → AnyRef → Any
  41. def tryCompare(x: Monomial, y: Monomial): Some[Int]
    Definition Classes
    Ordering → PartialOrdering
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  44. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from MonomialOrdering

Inherited from Ordering[Monomial]

Inherited from PartialOrdering[Monomial]

Inherited from Equiv[Monomial]

Inherited from Serializable

Inherited from Comparator[Monomial]

Inherited from AnyRef

Inherited from Any

Ungrouped