SequenceFunctions2(R1, R2)

distro.spad line 115 [edit on github]

• R1 : CommutativeRing
• R2 : CommutativeRing

A domain for mappings between sequences.

map : (Mapping(R2, R1), Sequence(R1)) -> Sequence(R2)

map(f, x) maps the function f on the entries of x