EquationFunctions2(S, R)

equation1.spad line 263 [edit on github]

• S: Type

• R: Type

This package provides operations for mapping the sides of equations.

map: (S -> R, Equation S) -> Equation R

map(f, eq) returns an equation where f is applied to the sides of eq