On Nov 22, 2008, at 11:09 PM, Tim Lahey wrote: > On Nov 23, 2008, at 2:00 AM, mabshoff wrote: >> >> It is my understand that it cannot compete with MMA or Maple there >> and >> various people have claimed that Maxima's integration code is better >> than the code in Axiom. I do not know if that is true. Anyway, in the >> next Maxima release there will be a lot of improvements to Maxima's >> integration code by Dieter Kaiser who seems to be working a lot in >> that area. In the very end I cannot see any alternative that we write >> our own code (since Axiom as well as Maxima can only be used via >> pexpect), but that is certainly a long and thorny path. > > > I know that Axiom has a fairly comprehensive test suite for > integration > which is certainly attractive. However, I certainly agree that writing > our own code is probably the most likely course in the long run. So, > that > means either using and improving the sympy code or writing all new > code. > I think that writing new code is probably the best course since > that way > it fits best with pynac. Unfortunately, I know little about symbolic > integration techniques. Does anybody have suggestions for references? > Given that I'm at the university that developed Maple, I probably can > get any relevant books/papers.
I only know a tiny bit about symbolic integration, but mabshoff's statement that it will be a long path is certainly an understatement. What I would like to see happen soon is some of the basic cases solved in our own code, and then passing off to some other library for the harder cases. Sage isn't about about re-inventing the wheel, and I hope that something like SymPy will become mature enough to handle all the really complicated stuff. In any case the bottleneck of pexpect is not as important for the "hard" cases (though perhaps the difficulty of building dependancies like lisp is good motivation to have more native code). That being said, if someone does write a full symbolic integration suite natively in Sage, that would be great. - Robert --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
