> > I looked for Q.is_false without luck, I also looked for an Inequality > class > > but found nothing. > > Wouldn't that just be ~Q.is_true? It seems to work for me. The != > class is called Unequality (to distinguish it from > "inequalities"). > > Yes, you are absolutely right - I always thought ~ was short for "not" (which didn't work), now I know about __invert__, thanks!
-- 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 sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. 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/9f210043-3ef9-4c34-bd5a-675106a369fe%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.