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

~=: (%, %) -> 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

SegmentCategory S

SegmentExpansionCategory(S, List S) if S has OrderedRing

SetCategory if S has SetCategory