Comment #27 on issue 3148 by [email protected]: Too many constants from dsolve()
http://code.google.com/p/sympy/issues/detail?id=3148

SymPy does have a SAT solver :)

But you are right that a simple heuristic is fine. The result doesn't have to be perfect. I originally wrote constantsimp because I didn't like how Maple's dsolve returned things like C1*sin(x) + 2*sin(x) because it just blindly applied variation of parameters.

Is there a pull request for the branch? If not, you should open one.

--
You received this message because this project is configured to send all issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy-issues.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to