Hi Ondřej, I am willing to work on Rubi Integrator this summer. I went through the issues you raised for this project and this idea really sounds cool. It would be great to segregate the different methods of integration into a decision tree which would hence improve its performance.
Before implementing Rule-based integrator we need to implement fast pattern matching/replacement for the set of 10,000 rules so we need to plan out an efficient decision tree for it. log(x*y) -> log(x) + log(y); x > 0, y > 0 In the above example how do we exactly move on with domain restrictions (i.e. x, y). On Wednesday, March 1, 2017 at 8:39:41 PM UTC+5:30, Ondřej Čertík wrote: > > Hi, > > Here is a project that I would love to see happen: > > https://github.com/sympy/sympy/issues/12233 > > I am available to mentor it, and I think quite a few people are > excited about it and such a system/framework (i.e. set of rules for > patter matching + compiler to generate a fast if/then/else decision > tree) would have applications beyond just integration, but integration > would already be super useful. As you can browse on Rubi web page, the > integrator's capabilities are very impressive, i.e. the rule based > system Rubi 4.9 can do more integrals than Mathematica, and is about > as fast, due to the large number of rules, and the if/then/else > decision tree Rubi 5 promises an order of magnitude (or more) speedup, > but it's still in development. > > The project is big in scope, so there could even be multiple projects. > If anybody is interested in this, please get in touch, and try to > propose a good plan. > > 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/05a4ee3e-7a0b-485b-9918-0a68bb4f3350%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
