Comment #5 on issue 1928 by ronan.l...@gmail.com: Boolean algebra
inconsistencies
http://code.google.com/p/sympy/issues/detail?id=1928
def test_Equivalent():
A, B, C = map(Boolean, symbols('ABC'))
- assert Equivalent(A, B) == Equivalent(B, A)
+ assert Equivalent(A, B) == Equivalent(B, A) == Equivalent(A, B, A)
+ assert Equivalent() == True
+ assert Equivalent(A, A) == Equivalent(A) == True
+ assert Equivalent(True, True) == Equivalent(False, False) == True
+ assert Equivalent(True, False) == Equivalent(False, True) == False
+ assert Equivalent(A, True) == A
+ assert Equivalent(A, False) == Not(A)
What's missing?
--
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.
