>Excellent. We were playing with the Risch algorithm in SymPy too. >If axiom could be installed in matter of minutes (last time I tried >it was 10 hours and it failed[1], in April), maybe it could be >considered as a base for a good integrator in Sage. But >currently it's imho much better to use Maxima's, because >Maxima is alreay in Sage and there are Python wrappers for it. And in the long >term, it's imho better to rewrite the algorithm in Python, for >readibility. SymPy shows, that it is possible.
Well if you're going to go to all of the trouble to re-implement Risch it would be worthwhile to spend the time to heavily document the algorithm. I'd suggest using some form of literate programming. It is a nontrivial exercise to re-implement. Axiom's integrator was written by the people who invented the algorithms. Unfortunately they did not document the details of how the code works. Tim --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@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-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---