ExpressionFunctions2(R, S)ΒΆ

expr.spad line 889

Lifting of maps to Expressions. Date Created: 16 Jan 1989

map: (R -> S, Expression R) -> Expression S
map(f, e) applies f to all the constants appearing in e.