UniversalSegmentFunctions2(R, S)

seg.spad line 421 [edit on github]

• R : Type
• S : Type

This package provides operations for mapping functions onto segments.

map : (Mapping(S, R), UniversalSegment(R)) -> Stream(S) if R has OrderedRing

map(f, s) expands the segment s, applying f to each value.

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

map(f, seg) returns the new segment obtained by applying f to the endpoints of seg.