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.

Reply via email to