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

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