FunctionSpaceFunctions2(R, A, S, B)ΒΆ

fspace.spad line 1181

This package allows a mapping R -> S to be lifted to a mapping from a function space over R to a function space over S.

map: (R -> S, A) -> B
map(f, a) applies f to all the constants in R appearing in a.