OrdSetInts

fnla.spad line 1 [edit on github]

Author : Larry Lambe Date created : 14 August 1988 Description : A domain used in order to take the free R-module on the Integers I. This is actually the forgetful functor from OrderedRings to OrderedSets applied to I

<=: (%, %) -> Boolean

from PartialOrder

<: (%, %) -> Boolean

from PartialOrder

=: (%, %) -> Boolean

from BasicType

>=: (%, %) -> Boolean

from PartialOrder

>: (%, %) -> Boolean

from PartialOrder

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

coerce: Integer -> %

coerce(i) returns the element corresponding to i

latex: % -> String

from SetCategory

max: (%, %) -> %

from OrderedSet

min: (%, %) -> %

from OrderedSet

smaller?: (%, %) -> Boolean

from Comparable

value: % -> Integer

value(x) returns the integer associated with x

BasicType

CoercibleTo OutputForm

Comparable

OrderedSet

PartialOrder

SetCategory