On Thu, Dec 26, 2013 at 05:55:22AM -0800, Francesco Bonazzi wrote:
>    Are you sure this correspondence is good? Sympy's Integral is an
>    unevaluated integral, while Mathematica's Integrate carries out
>    integration immediately.

Maybe we should use something like Hold[Integral[...]].  I'm
open to change anything.

Anyway, the point is that we should design this correspondence
to be useful (e.g. for testing purposes), not just to be one-to-one.