ANN: decision tree for RUBI integration rules

[Francesco Bonazzi]

I have created a decision tree out of RUBI's (Rule-based integration) decision trees. You can find the code here:

https://github.com/Upabjojr/rubi_generated

The code misses some integrals and sometimes gives wrong results in a few cases, so futher work is needed.

The current master branch of SymPy will not work with the decision tree, use the branch at

https://github.com/sympy/sympy/pull/17614

This is based on the Mathematica library RUBI

Thanks again to MatchPy for their excellent library.

[Ondřej Čertík]

Hi Francesco,

On Sun, Sep 15, 2019, at 9:53 AM, Francesco Bonazzi wrote:
> I have created a decision tree out of RUBI's (Rule-based integration)
> decision trees. You can find the code here:
>
> https://github.com/Upabjojr/rubi_generated
>
> The code misses some integrals and sometimes gives wrong results in a
> few cases, so futher work is needed.
>
> The current master branch of SymPy will not work with the decision
> tree, use the branch at
> https://github.com/sympy/sympy/pull/17614
>
> This is based on the Mathematica library RUBI

> <https://rulebasedintegration.org/>
>
> Thanks again to MatchPy <https://matchpy.readthedocs.io/en/latest/> for
> their excellent library.

Thanks for doing this. Can you formulate the steps how others can help?

There is a todo list here:

https://github.com/symengine/symengine/issues/1597#issuecomment-521721092

It seems this code implements things up to and including the step 1.?

Ondrej