Are you sure that Sage code was running SymPy. In isympy, I get: >>> solve(exp(x)-exp(x**2),x) NotImplementedError: Unable to solve the equation
Maybe Sage just returns the original equation when it can't do it (?) Anyway, as Rajeev pointed out, to properly implement this in the complex case, we need a way to represent an infinite number of solutions parameterized by an integer (similar to solving sin(x) == 0). On the other hand, maybe solve should be able to tell that f(x) - f(y) == 0 implies the solution x == y (but there may be more solutions unless f is one-to-one). Aaron Meurer On Mon, May 30, 2011 at 10:54 AM, Christophe BAL <[email protected]> wrote: > Hello, > you're right. > > But it could be usefull to havethe cancellation in case of real equation. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. > -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
