Comment #5 on issue 1894 by asmeurer: Xor(x, 1/y) doesn't work http://code.google.com/p/sympy/issues/detail?id=1894
I agree with Mateusz about the automatic rewriting. And(True, False) turning into False and even And(x, y) turning into And(y, x) is fine. But I think that Implies(x, y) should say as Implies(x, y), unless someone calls some kind of rewrite_as_cnf() or rewrite_as_dnf() method on it (or whatever it would be called). Basically, I think
my three points on automatic evaluation that I mentioned on this thread (http://groups.google.com/group/sympy/msg/76e8d488d3c32736) apply here. -- You received this message because you are subscribed to the Google Groups "sympy-issues" 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-issues?hl=en.
