Am 03.11.2013 09:46, schrieb Marduk:
Just for the record. With the help of Rubi I just solved an integral for
which both Mathematica and Maxima gave a rather ugly answer. Rubi provided
the same result that appears in a book. Based on this experience I
definitely recommend, and if I can find the time I will collaborate, to
work on implenting the Rubi rules for Sympy.
For those who're getting redirected to Ruby (the programming language),
the Rubi homepage is here: http://www.apmaths.uwo.ca/~arich/
In general, we've been considering moving towards more rule-based
reasoning (instead of coding stuff directly in Python), on the grounds
that rules are easier to reason about than code.
Implementing the Rubi rules could be a nice use case for that.
What I don't know is what the quality of that ruleset is, and how well
it would blend with other simplification rules (some Rubi rules might be
duplicating work done in existing simplification steps of SymPy). So I
guess before we decide anything, somebody with insight into what SymPy's
simplification can and cannot do should look into the Rubi rules and
decide how to best integrate it.
From what I can see, Rubi certainly looks impressive, but I have only
cursor knowledge of SymPy's simplification and no integration skills
worth mentioning, so I guess I'm easily impressed :-)
--
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 http://groups.google.com/group/sympy.
For more options, visit https://groups.google.com/groups/opt_out.
