Comment #4 on issue 1928 by basti.kr: 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.
Since you also added transformations to And and Or when True or False are elements (which is of course a good idea) maybe you can also add tests for that cases.
*'^': 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.
Yes, let's maybe wait a little bit longer for other opinions. But now that you explicitly mention it I also think it would be more beautiful to also define ^. The drawback is that sometimes people who haven't used python before, try to take the power with this operator and therefor it would be better to explicitly raise an error. -- 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.
