ExpressionSpaceFunctions1(F, S)ΒΆ

fspace.spad line 349 [edit on github]

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: (F -> S, 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.