Ah, yes. And the answer is always the same: "If we're going to fix it, let's fix it the correct way". Which it's yet to be fixed, because the correct way is not so simple.
Aaron Meurer On Mon, Aug 27, 2012 at 8:57 PM, Matthew Rocklin <[email protected]> wrote: > I remember bringing this up a year ago. Someone pointed me to it having been > brought up roughly a year prior. We're right on schedule! > > Delve here > > http://code.google.com/p/sympy/issues/detail?id=2620 > http://code.google.com/p/sympy/issues/detail?id=1887 > > > On Mon, Aug 27, 2012 at 9:49 PM, Chris Smith <[email protected]> wrote: >> >> On Tue, Aug 28, 2012 at 7:52 AM, Aaron Meurer <[email protected]> wrote: >> > I'm a little unclear on what you're asking, so let me just tell you some >> > things and hopefully it will contain the answer you are looking for. >> >> I think what he is pointing out is that even trivial cases involving >> symbols are not resolved: >> >> >> >>> Eq(x,x) >> x == x >> >>> Eq(1,1) >> True >> >> That first case should trivially resolve to True, shouldn't it? >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sympy" group. >> To post to this group, send email to [email protected]. >> To unsubscribe from this group, send email to >> [email protected]. >> For more options, visit this group at >> http://groups.google.com/group/sympy?hl=en. >> > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/sympy?hl=en. -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
