On Fri, Oct 24, 2014 at 9:45 AM, Björn Dahlgren <bjo...@gmail.com> wrote: > Consider the following short example: > > http://nbviewer.ipython.org/urls/gist.githubusercontent.com/bjodah/720617780e83d7c35797/raw/c297ecf76a8e26a711b7c7868839f2dfb221bc10/gistfile1.txt > > refine with Q.is_true(...) works ok for refining away Piecewise from a > solution (although it's a bit picky, e.g. Eq(k**3,0) was needed instead of > Eq(k, 0) for example) > It fails to refine to the default though (see last row). > > 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"). Aaron Meurer > I know work on new assumptions is still in the pipeline, my example is with > latest sympy in conda (0.7.5), is there away in 0.7.5 or in master to do > what I am looking for? > > Btw. I have a hackish solution to get out only the defaults of Piecewise > here is someone is interested. > > Best regards, > /Björn > > > -- > 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/2fd9a5db-8b47-4779-9be8-c50c02a431dd%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%3D6J__RYc3wNQCRvfS6r1EuCnZC%3Ddrhwva%2BVr1yc4T8afhA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.