ComparableRepresentation

catdef.spad line 1003 [edit on github]

The class of sets equipped with ordering relation depending on representation of elements (needed for technical reasons). The ordering predicate gives strict linear pre-order on representatives. However a different representatives may give different results. If both smaller?(x, y) and smaller?(y, x) are false, then x and y are equal under domain equality. But when x and y are equal under domain equality, smaller?(x, y) may give arbitrary result.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

smaller?: (%, %) -> Boolean

smaller?(x, y) is a strict ordering on depending on representatives of elements of the set. If % has Comparable then smaller? gives mathematical linear order.

BasicType

CoercibleTo OutputForm

SetCategory