Comment #2 on issue 1928 by [email protected]: Boolean algebra
inconsistencies
http://code.google.com/p/sympy/issues/detail?id=1928
*Equivalent:
I didn't change the behaviour of Equivalent(x), but you're right, so I've
added a
commit implementing Equivalent(x) = True and Equivalent() = True.
*symbols:
Redefining them every time limits the risk of side effects, so both options
are
reasonable. I have no opinion on which one is best.
* Nand and Nor:
As binary functions, Nand and Nor aren't associative so there isn't an
obviously
unique way of defining them for other numbers of arguments. The current one
is
sometimes used so I didn't change it.
*'^':
Since '&' and '|' are already defined for symbols, it seems more consistent
to have
'^' as well. In any case, it's not a problem to keep it in review and push
the commit
separately.
*whitespace:
Thanks, I've corrected it.
I've added the 2 changes to my github branch
[http://github.com/rlamy/sympy/commits/boolalg-cleanup].
--
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.
