ExpressionFunctions2(R, S)

expr.spad line 904 [edit on github]

• R : Join(Ring, Comparable)
• S : Join(Ring, Comparable)

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

map : (Mapping(S, R), Expression(R)) -> Expression(S)

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