Is there a convenient way to track the progress of this . Albert.Rich has mentioned a version 5 of RUBI , that will use a highly efficient , if ... then ... else structure . Is this the type of structure that the new sympy , with matchpy , might generate . If so , how might it perform , relative to what's proposed for RUBI 5 .
On Saturday, 7 October 2017 04:30:16 UTC-12, Robert Dodier wrote: > > Hi Francesco, thanks for your response. The Rubi implementation looks very > interesting, also the paper about matching algorithms. I will definitely > take a close look at that. > > What is your feeling about how the Rubi implementation turned out overall? > Did you run into any roadblocks on the way? Do you think the general > approach can be extended in a straightforward way to all of Rubi? If not, > what are the large-scale changes that you foresee? > > Is it known how the time required to process an expression with this > implementation varies as a function of the number of rules? Is it known > whether the time is linear in the number of rules, or perhaps logarithmic > or something else? > > Thanks for any remarks you might have on this subject. > > best, > Robert Dodier > > -- 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. 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/a372a990-9373-4e3d-9ed9-ae203aa0c01b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.