solve expressions involving identities
solve(identity(eqn, x), vars)
equation, or expression (equated to 0)
variables to be determined (as for solve)
The expression (or equation) eqn is considered an identity in terms of the variable x, and solve attempts to find a solution in terms of vars which satisfies the equation eqn for any value of x.
This is a one-dimensional case of a generalized pattern matching.
x should not be one of the vars.
Download Help Document
What kind of issue would you like to report? (Optional)