Comment #9 on issue 2070 by ronan.l...@gmail.com: All elements of .args should be Basic
http://code.google.com/p/sympy/issues/detail?id=2070
Counterexample: well, Piecewise! (BTW, I don't understand the meaning or purpose of ExprCondPair)
And yes, it would be useful to create Boolean objects S.True and S.False. There are many cases of if isinstance(expr, bool): ... else: ... in the logic code, and it would make it easier to use sympify as well.
-- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to sympy-issues@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.