> But no claim is raised that the test suites cover the whole range of
> interesting problems! In fact they developed around the discussion of
> Albert Rich's Rubi (RUle-Based Integration). It is worth to look this up:
> http://www.apmaths.uwo.ca/~arich/
Wow, that code is amazingly simple! Just a long series of pattern matching
against an expression with pre-computed results.
What license is it distributed with? That code could be easily ported to
SymPy by a code generator/translator, if their claim to outperform Wolfram
Mathematica is correct, that could become the strongest integrator ever.
Considering that, I believe that at the time integration algorithms like
Risch were invented ('60s and '70s), computers had very small hard memory,
and rule-based pattern matching was infeasible at that time. It should be
reconsidered nowadays.
--
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.
