William Stein wrote: > On Thu, Oct 1, 2009 at 8:33 AM, Stan Schymanski <schym...@gmail.com> wrote: >> I am really, really missing a function like MMA's Reduce in sage. >> Typically, when I want to solve a complicated equation, sage throws >> various questions generated by maxima at me, about whether variables >> and certain terms are positive, zero, or negative. Some of them can be >> answered a priori by appropriate assume() statements, others can't, so >> I often run into a dead end and can't solve equations that would be >> easily solved by MMA. Very frustrating. >> >> Would it be hard to write a routine, which answers all of maxima's >> questions with all possible answers and creates a new solution branch >> for each answer? I think this is what MMA's Reduce does, and at the >> end it presents the result as a list of nested conditions for each >> solution. Would anyone else be interested in such a functionality and, >> more importantly, would anyone have the know-how and time to implement >> it? > > I think it would be very interesting to try to write such a function, > and there are certainly people with the appropriate knowledge... >
Carl Witty would be one person to write a real Reduce replacement. Reduce uses CAD, which has been a personal sage project of Carl Witty's for at least several years. That's where we have QQbar and AA from, for example (he needed it to do CAD stuff). Carl's made a lot of progress, and from what I understand, he's probably several months away (of full-time work) of having a finished CAD implementation in Sage. I might be wrong on that point, though. Right now, we do have an interface to qepcad that can do some of the stuff, but I don't think it's quite as powerful as Reduce. It can do a lot, though. Jason -- Jason Grout --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---