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

fspace.spad line 1156 [edit on github]

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.