I have been playing with SymPy and IPython Notebook and thought it
would be useful to be able to explicitly perform some of the
operations that are in the toolset taught in a high-school algebra
class.
This would be things like
- Adding the same thing to both sides of an equation.
- Creating a new equation by adding two other equations together.
- Substituting one equation into another.
I realize that all of these are easy to synthesize from the existing
operations in SymPy, but didn't see them in any sort of a pre-packaged
form.
Are they there but I have just missed them?
If not, would they be a worthwhile addition to SymPy?
In case there is any ambiguity, I am speaking explicitly of the
Equality/Eq relations. I know that SymPy and many other packages tend
to just use expressions with an implicit ==0 condition, but, in an
elementary context, explicit equations seem more familiar/easier to
understand.
The main use case would be when using a notebook to show the explicit
steps of a derivation. (And especially at the level of high-school
algebra or science.) In one of my physics notebooks I noticed myself
writing a lot of things like
eq3_4 = eq3_3.subs(eq2_1.rhs, eq2_1.lhs)
and thinking that having a well-documented set of idioms could add clarity.