Updates:
Cc: christian.muise
Comment #1 on issue 2254 by christian.muise: Support for bitwise operations
http://code.google.com/p/sympy/issues/detail?id=2254
I think the problem here isn't that x | 1 == True, but that Or(x | 3) is
even allowed. In sympy, the Or, And, etc. operators are only meant to
handle boolean expressions. I would think (x | 1) should cause an error,
just as much as (x | 3) should. What /should/ be allowed eventually is
things like (x | (z <= y)). As long as all the operands evaluate to True or
False, it should be allowed.
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to sympy-issues@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.
