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) 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, ...) -- 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.