Status: Valid
Owner: ----
Labels: Type-Defect Priority-Medium Logic
New issue 3335 by [email protected]: Don't automatically rewrite logical
expressions
http://code.google.com/p/sympy/issues/detail?id=3335
Note: this was originally https://github.com/sympy/sympy/issues/1441.
As discussed in
https://groups.google.com/d/topic/sympy/lS7SwKjCiHk/discussion the
following boolean functions will stop compiling to And, Or, Not: Xor,
Implies, Equivalent, ITE. Not will stop pushing down the negation to the
atoms. Also, xor is a commutative associative operation with no identity
element.
--
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.
