ExpressionSpaceFunctions1(F, S)

fspace.spad line 350 [edit on github]

• F : ExpressionSpace
• S : Type

This package allows a map from any expression space into any object to be lifted to a kernel over the expression set, using a given property of the operator of the kernel.

map : (Mapping(S, F), Symbol, Kernel(F)) -> S

map(f, p, k) uses the property p of the operator of k, in order to lift f and apply it to k.