Am 15.05.2015 um 03:42 schrieb Duane Nykamp:
I don't think this is the desired behavior.In [3]: a=Symbol('a') In [4]: bool(And(2>a, a>2)) Out[4]: True
The `And` does not simplify, and the bool() conversion turns it into a Pythonic `True`.
The former happens because assumptions don't know about relations (yet), see "Remarks" in http://docs.sympy.org/latest/modules/assumptions/ask.html .
The latter happens because Python is converting an `And` object to `bool`, and since it's none of the objects that convert to `False`, it turns it into a `True`.
-- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/5555A0AF.2010809%40durchholz.org. For more options, visit https://groups.google.com/d/optout.
