Segment(S)
seg.spad line 79
[edit on github]
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
- BY : (%, Integer) -> %
- from SegmentCategory(S)
- SEGMENT : (S, S) -> %
- from SegmentCategory(S)
- coerce : % -> OutputForm if S has SetCategory
- from CoercibleTo(OutputForm)
- convert : S -> %
- from SegmentCategory(S)
- convert : % -> InputForm if S has ConvertibleTo(InputForm)
- from ConvertibleTo(InputForm)
- 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 : (Mapping(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)
- ~= : (%, %) -> Boolean if S has SetCategory
- from BasicType
SetCategory
ConvertibleTo(InputForm)
SegmentCategory(S)
SegmentExpansionCategory(S, List(S))
CoercibleTo(OutputForm)
BasicType