On Wed, Feb 18, 2015 at 11:01:54AM -0600, Aaron Meurer wrote: > On Tue, Feb 17, 2015 at 10:41 PM, Petr Baudis <pa...@ucw.cz> wrote: > > So one curious observation I have is that even if sym.solve() is given > > multiple equations and only a single variable, it does yield a solution > > in this case. I'm still confused about what the exact API contract of > > sym.solve() is. Working "sometimes" leaves me unsure about what I can > > or cannot rely on... > > Sadly, there is none. Part of this is due to algorithmic limitations > (solve() is basically a bunch of heuristics, there are few guarantees > that it will find a solution if it exists). But a lot of it is just > poor design. We are trying to make the design better with the new > solveset module.
Thanks! Knowing this is quite valuable for me. > >> Right now I'm inclined to conclude that what I want to do *is* rather > >> hard and I'd have to come up with some new algorithms to deal with this. > >> (Or likely take a look at some other CASes first if any handle this case > >> for me already.) > > If you find some other CAS that can do this better, please let us know > and post here your solution. As Aaron said, we would like to improve > our solver module. I will for sure - my plan is to take a hard look at Maple and a brief look at Mathematica. If I won't be successful, I might come back to SymPy and try to help improve the solveset module (I can't promise I will have the time though, this was supposed to be just a small piece of puzzle in a larger project - http://21robot.org/). Thanks, Petr Baudis -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/20150219123519.GT6082%40machine.or.cz. For more options, visit https://groups.google.com/d/optout.
