FunctionSpaceFunctions2(R, A, S, B)

fspace.spad line 1162 [edit on github]

• R : Join(Ring, Comparable)
• A : FunctionSpace(R)
• S : Join(Ring, Comparable)
• B : FunctionSpace(S)

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 : (Mapping(S, R), A) -> B

map(f, a) applies f to all the constants in R appearing in a.