Sorry : I've been interrupted at the wrong omment... Le lundi 27 février 2017 18:13:33 UTC+1, Emmanuel Charpentier a écrit : > > A few points : > > 1. Sympy has interesting answers in some cases. But : > 1. It often offers responses as conditional expressions (akin to > Mathematica's lists of tuples (expression, rule)), whic we don't (yet > ?) > know how to handle ; > 2. It often uses special functions not (yet ?) implemented in Sage. > 3. The current sympy integration routines tend to drop into (what > seems to be) infinite loops, nort returning after long times (many > minutes). > 2. Fricas has been mentioned as an interesting subcase, since its > implementation is (supposed to) find any primitive using only "elementary" > functions (polynoms, log/exp/trig) if such a primitive exists. > 3. ISTR that porting Rubi to Sage has been proposed as a GSOC project > a couple of years back, but that one of the conclusions was that: > 1. This intensely used pattern-matching, not really compatible with > Maxima's abilities, whose implementation was a non-trivial task in > itself. > 2. No suitable couple of (mentor - trainee) emerged of the process. > > Nevertheless, implementing Rubi is probably a good idea. I wonder if a > specialized pattern matcher woldn't be a better idear than monkeying > Mathematica's. ISTR to have toyed with RJF's suggestion of extending > his "MockMMA" pile of syntactic sugar around Maxima. To no avail...
I think that it might be possible to wrile (in Python ?) a "Ruby rules compiler" that could use our (rudimentary) wildcard facility to effect those substitutions. A possible companion would be a "Mathematica compiler" able to translate a Mathematica Integrate statement and translate it in Sage; in order to test -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
