Yacas' Solve(eq, x)
can return e.g.
x == expr
and {x == expr1, x == expr2, ...}
.
Some usages are easier if the initial x ==
part is removed.
This is the purpose of this function.
stripvar(expr, var)
Expression where x == expr
should be replaced to expr
Name of variable, e.g. x
Expression with left-hand side removed