SequenceFunctions2(R1, R2)ΒΆ

distro.spad line 150

A domain for mappings between sequences.

map: (R1 -> R2, Sequence R1) -> Sequence R2
map(f, x) maps the function f on the entries of x