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

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