Status: Accepted
Owner: asmeurer
Labels: Type-Defect Priority-Medium Solvers

New issue 1425 by asmeurer: solve (through tsolve) returns AssertionError  
instead of NotImplementedError
http://code.google.com/p/sympy/issues/detail?id=1425

I came across this error when working on exact differential equations for  
dsolve.  The below is the solution to one
such equation.  Plotting the function verifies that it is not a function of  
y, and Maple could not solve it, so I do not
believe that it has a closed form solution for y.  The problem is that it  
returns a AssertionError instead of a
NotImplementedError.  It would be nice if this returned the right error so  
that I don't have to have dsolve check for
AssertionError to see if an equation can be solve explicitly for a variable.

>>> C1 = Symbol('C1')
>>> solve(Eq(x*cos(y)+y**3/3,C1), y)
Traceback (most recent call last):
   File "<console>", line 1, in <module>
   File "./sympy/solvers/solvers.py", line 235, in solve
     result = tsolve(f, *symbols)
   File "./sympy/solvers/solvers.py", line 873, in tsolve
     assert False, 'tsolve: at least one Function expected at this
point'
AssertionError: tsolve: at least one Function expected at this point


--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"sympy-issues" 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-issues?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to