Comment #2 on issue 1894 by ronan.l...@gmail.com: Xor(x, 1/y) doesn't work
http://code.google.com/p/sympy/issues/detail?id=1894
The problem with Xor(x, 1/y) is that its meaning is undefined: how do you
compute
1/True and 1/False? Nevertheless, And(x, 1/y) works, so this should too.
All that
seems required is to rewrite the offending line to
A = Or(And(A, Not(B)), And(Not(A), B))
Automatic rewriting of Implies can be avoided by using evaluate=False. For
And and
Or, it is unavoidable since they store their arguments in a set instead of
an ordered
sequence. The only way around it would be to create UnevaluatedAnd and
UnevaluatedOr
classes.
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to sympy-iss...@googlegroups.com.
To unsubscribe from this group, send email to
sympy-issues+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.