Status: Accepted
Owner: ronan.l...@gmail.com
Labels: Type-Defect Priority-Medium Milestone-Release0.7.0 NeedsReview
New issue 1928 by ronan.l...@gmail.com: Boolean algebra inconsistencies
http://code.google.com/p/sympy/issues/detail?id=1928
There are a number of small issues in sympy.logic.boolalg that I
encountered while working on issue 1903. I've pushed a branch
[http://github.com/rlamy/sympy/commits/boolalg-cleanup] fixing these:
* Equivalent required its arguments to have arithmetic comparison
defined.
* To check for that kind of error, tests in test_boolalg.py use
instances
of Boolean instead of Symbols.
* Nand and Nor now call And and Or immediately
* Since Or() is False, the correct value for Nor() is True.
* Xor stops raising an exception with non-Boolean args.
* Add XOR operator ('^') support for Booleans.
* Bring test coverage back to 100%
--
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.
