Comparable

catdef.spad line 1086 [edit on github]

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

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

hash: % -> SingleInteger

from SetCategory

hashUpdate!: (HashState, %) -> HashState

from SetCategory

latex: % -> String

from SetCategory

smaller?: (%, %) -> Boolean

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

BasicType

CoercibleTo OutputForm

SetCategory