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

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