Python doesn't allow "not" to return a symbolic object, so we have to use ~ (which normally means bitwise not).
Aaron Meurer On Sat, Oct 25, 2014 at 8:51 AM, Björn Dahlgren <bjo...@gmail.com> wrote: > >> > 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. -- 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/CAKgW%3D6Jj2nenBHLiWsm4E%2BkHPbbqBezO90KziqZgC2mzFfCTTA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.