Segment SΒΆ
seg.spad line 79 [edit on github]
S: Type
This type is used to specify a range of values from type S.
- +: (%, S) -> % if S has AbelianSemiGroup
from SegmentCategory S
- +: (S, %) -> % if S has AbelianSemiGroup
from SegmentCategory S
- -: (%, S) -> % if S has AbelianGroup
from SegmentCategory S
- =: (%, %) -> Boolean if S has SetCategory
from BasicType
- ~=: (%, %) -> Boolean if S has SetCategory
from BasicType
- BY: (%, Integer) -> %
from SegmentCategory S
- coerce: % -> OutputForm if S has SetCategory
from CoercibleTo OutputForm
- convert: % -> InputForm if S has ConvertibleTo InputForm
from ConvertibleTo InputForm
- convert: S -> %
from SegmentCategory S
- expand: % -> List S if S has OrderedRing
from SegmentExpansionCategory(S, List S)
- expand: List % -> List S if S has OrderedRing
from SegmentExpansionCategory(S, List S)
- high: % -> S
from SegmentCategory S
- incr: % -> Integer
from SegmentCategory S
- latex: % -> String if S has SetCategory
from SetCategory
- low: % -> S
from SegmentCategory S
- map: (S -> S, %) -> List S if S has OrderedRing
from SegmentExpansionCategory(S, List S)
- reverse: % -> % if S has OrderedRing
from SegmentCategory S
- SEGMENT: (S, S) -> %
from SegmentCategory S
- segment: (S, S) -> %
from SegmentCategory S
BasicType if S has SetCategory
CoercibleTo OutputForm if S has SetCategory
ConvertibleTo InputForm if S has ConvertibleTo InputForm
SegmentExpansionCategory(S, List S) if S has OrderedRing
SetCategory if S has SetCategory