Comment #3 on issue 4076 by asmeu...@gmail.com: Improvements to logic module
http://code.google.com/p/sympy/issues/detail?id=4076
Another thing that bugs the crap out of me that I may or may not get around
to fixing is all the automatic evaluation that happens. Not automatically
applies deMorgan's laws. Nor, Nand, Xor, and ITE are nothing more than
fancy shortcuts. IMHO the only automatic evaluation that should happen is
basic canonicalization (short circuiting, denesting, removing duplicate
args, ordering the args canonically).
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sympy-issues+unsubscr...@googlegroups.com.
To post to this group, send email to sympy-issues@googlegroups.com.
Visit this group at http://groups.google.com/group/sympy-issues.
For more options, visit https://groups.google.com/groups/opt_out.
