Why not extending RJF's Mockmma<http://www.cs.berkeley.edu/~fateman/lisp/mma4max>to convert the MMA implementation <http://www.apmaths.uwo.ca/~arich/Rubi4.2.zip> of the rule base to Sage or Maxima? The latter seems easier to me as Mockmma is written in CL (s.a. http://sourceforge.net/p/mockmma/code/HEAD/tree/trunk/Mockmma/).
I've tried to implement some rules in Pure <http://purelang.bitbucket.org/>using the embedded REDUCE interface <http://purelang.bitbucket.org/docs/pure-reduce.html>. After twenty out of the 5000 rules I was overwhelmed ... :). kp Am Montag, 16. September 2013 09:59:51 UTC+2 schrieb Fredrik Johansson: > > Curious that no one seems to have attempted to port Rubi to Sage yet! > Perhaps a possible project for next year's GSoC? > > Fredrik > > On Sunday, September 15, 2013 7:51:39 PM UTC+2, Eviatar wrote: >> >> Thought this might be of interest to sage-devel. >> >> On Wednesday, 4 September 2013 10:01:07 UTC-7, Peter Luschny wrote: >>> >>> Recently two integration test suites were discussed at sci.math.symbolic >>> [1], [2]. >>> >>> I executed the tests with Sage and put the results on my webpage [3]. >>> Not all results are favorable for Sage. Maybe this is worth to be >>> noted by some Sage developers. >>> >>> Peter >>> >>> [1] >>> https://groups.google.com/d/msg/sci.math.symbolic/UB0udwILOSw/msxc57stRM8J >>> [2] >>> https://groups.google.com/d/msg/sci.math.symbolic/D9W45zQTY3U/nIxsBZ-4RasJ >>> [3] http://luschny.de/math/quad/IntegralTestsSage.html >>> >> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
