Comparable

catdef.spad line 1095 [edit on github]

The class of sets equipped with possibly unnatural linear order (needed for technical reasons).

= : (%, %) -> Boolean

from BasicType

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

smaller? : (%, %) -> Boolean

smaller?(x, y) is a strict total ordering on the elements of the set.

~= : (%, %) -> Boolean

from BasicType

BasicType

SetCategory

CoercibleTo(OutputForm)