zanzibar7/sympy — pull request #6 by zanzibar7 (2013-12-30 14:22:30+00:00)
Title: automaticly distribute ExprWithLimits across Eq's

A patch to automatically integrate or sum over both sides of an equality.

>>> Integral(Eq(sin(x), f(x).diff(x)),(x,0,y)).doit()
-cos(y) + 1 = -f(0) + f(y)