> By the way, that's another major problem. Mathematica allows to write any expression tree, even those that are mathematically incorrect. In SymPy, many constructors raise exceptions if they don't recognize the arguments. The pattern matcher could incur into this problem if the rewrite rules are not properly written.
This is easier if we stop automatic evaluation on classes. I usually propose that the classes like `Add` do no construction logic while paired functions like `add` take on all of the construction logic. Then you can create patterns like Add(oo, 'x') without fear that they will change to something else. On Thu, Jul 3, 2014 at 4:08 PM, Aaron Meurer <asmeu...@gmail.com> wrote: > When would it not indicate an error, though? > > Aaron Meurer > > > On Thu, Jul 3, 2014 at 5:12 PM, F. B. <franz.bona...@gmail.com> wrote: > > > > > > On Friday, July 4, 2014 12:09:37 AM UTC+2, F. B. wrote: > >> > >> otherwise an exception is probably going to be raised. > > > > > > By the way, that's another major problem. Mathematica allows to write any > > expression tree, even those that are mathematically incorrect. In SymPy, > > many constructors raise exceptions if they don't recognize the arguments. > > The pattern matcher could incur into this problem if the rewrite rules > are > > not properly written. > > > > -- > > 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 http://groups.google.com/group/sympy. > > To view this discussion on the web visit > > > https://groups.google.com/d/msgid/sympy/1a4268ab-cdd7-4ffb-a7d0-cdf65f1fede2%40googlegroups.com > . > > > > For more options, visit https://groups.google.com/d/optout. > > -- > 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 http://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/CAKgW%3D6KnuMvUPzVLXgi7tRkBALWt6YW6h0LmbEBpefKQcQWoHA%40mail.gmail.com > . > For more options, visit https://groups.google.com/d/optout. > -- 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 http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAJ8oX-Gtqqz5zwkxk74i3ajLHhv3X_ze%3Du7b41uNn-NCyTvNcQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.