For a frustrated user because of precisely this issue, see http://groups.google.com/group/sage-support/browse_thread/thread/6407896aab6a52cc/bfb4e85815ef94a3?show_docid=bfb4e85815ef94a3 . I now think we should definitely change to having to_poly_solve as an option, but not default, even if we miss some solutions that way, because it's unlikely that Maxima will be able to change its behavior very soon, even if they wanted to.
- kcrisman On Sep 16, 9:42 am, kcrisman <kcris...@gmail.com> wrote: > Sorry, I think you both misunderstood my question :) If I was having > trouble in that sense, I would have posted on sage-support. > > My question is, what behavior should Sage ALLOW from solve? I am in > the midst of fixing some solve behavior caused by the Maxima upgrade, > and want someone else's opinion. One idea I had was a keyword to > allow to_poly_solve (which allows better answers, but also inexact > ones) and very careful documentation to point out that solve with more > than one equation may return numerical answers. > > <snip> > > What is the desired behavior of solve()? Since roots() uses it for > symbolic input, we already have some problems (also note that > to_poly_solve does not return multiplicities). However, getting rid > of to_poly_solve seems unpleasant too, since it does solve a lot of > equations which formerly were mysterious to Sage. > > If you have an opinion, please let me know. Unfortunately, it > doesn't > look easy to keep an exact-solution-only behavior here. The author > of > to_poly_solve expects to fix some bugs later this fall, but probably > not this aspect, since it's not a bug in Maxima, rather in our use of > Maxima. > > - kcrisman --~--~---------~--~----~------------~-------~--~----~ To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
