OrdSetInts

fnla.spad line 1 [edit on github]

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

coerce : Integer -> %

coerce(i) returns the element corresponding to i

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

max : (%, %) -> %

from OrderedSet

min : (%, %) -> %

from OrderedSet

smaller? : (%, %) -> Boolean

from Comparable

value : % -> Integer

value(x) returns the integer associated with x

~= : (%, %) -> Boolean

from BasicType

PartialOrder

Comparable

CoercibleTo(OutputForm)

BasicType

OrderedSet

SetCategory