On Sun, Sep 29, 2013 at 4:15 AM, someone <[email protected]> wrote: > Hi, > >> If we can get this pattern matching API sorted out we could translate >> the Rubi <http://www.apmaths.uwo.ca/~arich/> rules > > Improving our pattern matching and reimplementing Rubi > on top of Sympy will be a GSOC project for next year. > (I wanted to make the proposal already for this time > but never did it.) > > This does not mean someone could do this also outside > of the GSOC frame. > >> to get a fast integrator that outperforms Mathemaitca. > > While it might be faster, this is not sure. (Python vs > C in MMA etc)
CSymPy is written in C++, so my goal is for the pattern matching to be as fast as in Mathematica. > > For the integrals it can do it will be fine, but in > no way it will ever replace the full Risch Code > because there will always be integrals which are solvable > but not in the pattern table. > > Rubi in sympy would be fine to "patch" cases where > Risch is (not yet) implemented or which fall outside > any algorithmic code in sympy (risch, heurisch, meijerg, ...) Yes, I think it will be one more algorithm to perform integration, that users can use. Ondrej -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
