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/CADDwiVChFLNX6uL4eys%2Bmb2g3hgNEgw5adxK0TM2i8MK68TFnA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
