SegmentFunctions2(R, S)

seg.spad line 176 [edit on github]

• R : Type
• S : Type

This package provides operations for mapping functions onto segments.

map : (Mapping(S, R), Segment(R)) -> List(S) if R has OrderedRing

map(f, s) expands the segment s, applying f to each value. For example, if s = l..h by k, then the list [f(l), f(l+k), ..., f(lN)] is computed, where lN <= h < lN+k.

map : (Mapping(S, R), Segment(R)) -> Segment(S)

map(f, l..h) returns a new segment f(l)..f(h).