>>Could you please elaborate (in technical terms) what is wrong in >>principle with our Risch algorithm implementation, apart that it needs >>fixing for integrals that it cannot yet do? Or is the approach we took >>with sympy not the right one to get the symbolic integration done. >> >>If Sage developers are willing to write calculus things in Python (or >>Cython) I am definitely interested, if it'd be possible to use it as a >>standalone package (e.g. without the rest of Sage, currently 1GB after >>unpacking on my system). >> >>To put my question in other words, what exactly should be done to >>implement the symbolic integration in Sage? I want to have symbolic >>integration in Python and so far what I (and mainly Mateusz, Kirill >>and other sympy developers) tried is in sympy. So if our approach is >>wrong, I am interested in critical opinions. > >Ondrej, > >As an objective measure of sympy, what results do you get for the >Schaums test suite: > >http://axiom-developer.org/axiom-website/CATS
Ondrej, Tim, Beyond the integration routines, Maxima provides other facilities that may not be available in the rest of Sage. I'm not sure about the Ordinary Differential Equations abilities without Maxima. I've uploaded the CATS test suite for ODEs to: http://axiom-developer.org/axiom-website/CATS so they can also be tested. It would be great to see the same test suite in many different systems. Note that Maple is exceptionally good at ODEs. If Sage has a goal of replacing Maple it might be good to see how well it does on these suites. It would be useful to collect other sets of test suites which exercise functions that are only available from Maxima. As I develop them I will make them available for your amusement. Tim Daly --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
