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 -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sympy/710d6a3f-1589-47b9-9848-b4a936198606%40www.fastmail.com.
