On Mon, 29 Dec 2008 16:32:06 -0800 "William Stein" <wst...@gmail.com> wrote:
<snip> > I do not see sympy at all as the future for symbolic integration. I > would instead imagine looking more broadly for a way to get symbolic > integration capabilities into Sage. This could include: > * writing something from scratch > * porting what is in GIAC > * porting what is in Maxima > * porting what is in FriCAS > * searching far and wide again -- maybe we're overlooking > something out there One approach would be to start (once we have pynac symbolics) by implementing Bronstein's "Poor Man's Integrator" http://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/index.html AFAIK, this is what Sympy uses. The page above starts with "pmint is a very short (95 lines) Maple program ...", so this should be simple. Then, I would look at the heuristics implemented in Maxima. I recall that the Maxima manual had useful information about them. I guess these would be enough to handle most user input, as rjf pointed out in another thread. A longer term project (1-2 months), is to implement the transcendental Risch algorithm from scratch. This can be done by going through the pseudo code in Bronstein's book http://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/symbint1.html If nobody beats me to it, I am willing to do this. I implemented the "summation equivalent" of Risch's algorithm already, this shouldn't be so much trouble. At this stage, the integration capabilities of Sage should be similar, if not better, than those of Maxima. AFAIK, the next step, algebraic case of Risch is not fully implemented anywhere, and there are still some open problems along the way. Axiom/FriCAS has a partial implementation. Burcin --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
