sympy/sympy — pull request #8023 by Upabjojr (2014-09-12 11:32:41+00:00)
Title: Added algebraic operations among Equalities

See edits on tests to see how it works.

Should it be able to compute `eq1**eq2` ?