OrderedFinite

catdef.spad line 1008 [edit on github]

Ordered finite sets.

< : (%, %) -> Boolean

from PartialOrder

<= : (%, %) -> Boolean

from PartialOrder

= : (%, %) -> Boolean

from BasicType

> : (%, %) -> Boolean

from PartialOrder

>= : (%, %) -> Boolean

from PartialOrder

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

convert : % -> InputForm

from ConvertibleTo(InputForm)

enumerate : () -> List(%)

from Finite

hash : % -> SingleInteger

from Hashable

hashUpdate! : (HashState, %) -> HashState

from Hashable

index : PositiveInteger -> %

from Finite

latex : % -> String

from SetCategory

lookup : % -> PositiveInteger

from Finite

max : (%, %) -> %

from OrderedSet

min : (%, %) -> %

from OrderedSet

random : () -> %

from Finite

size : () -> NonNegativeInteger

from Finite

smaller? : (%, %) -> Boolean

from Comparable

~= : (%, %) -> Boolean

from BasicType

Finite

ConvertibleTo(InputForm)

Hashable

CoercibleTo(OutputForm)

Comparable

OrderedSet

SetCategory

BasicType

PartialOrder