In some cases solve doesn't not solve the equation correctly, returning [].
If the same equation is evaluated (using evalf()), then solve gives the right solution.
An example of this issue is posted in https://gist.github.com/Huyston/4035351b8738464019895db23f0688ae
This is a quintic equation for which there is no algebraic solution with radicals. Only numeric solution with numeric coefficients is possible, in general.
I think sympy has solvers for quintic equations, provided these equations are solvable. Maybe applying something some criteria in solve could be helpful.
I see, you are right.
I was wondering if it should raise an error or something to inform the user about this. Maybe a "No algebraic solution error" try using .evalf().
I'll close it since it's not sympy's fault :)
Thanks.
Most helpful comment
This is a quintic equation for which there is no algebraic solution with radicals. Only numeric solution with numeric coefficients is possible, in general.