There is a framework to do this with refine, like refine(sqrt((x - y)**2), Q.positive(x - y)), but not much is implemented yet, so the simplifications possible are quite limited (in fact, there's not much more than the one that I just showed that is implemented).
Aaron Meurer On Mon, Nov 10, 2014 at 3:58 PM, Andrew Spielberg <[email protected]> wrote: > Hi all, > > When creating variables, I know you can provide certain constraints on the > domain of that variable. For instance, one could say that a certain > variable, x, is positive, real, rational, etc. These constraints affect > the way the simplify function behaves. > > I am wondering, without creating auxiliary variables, can add other > constraints? For example, if I have a variable x that always must be > greater than another variable y, can I specify: > > x > y > > in some way, and have the simplifier intelligently know how to handle it? > I know I could change my representation to be a = (x - y) and do everything > in terms of my variable a, and set a positive, but this is less than ideal > and will not work in a lot of my cases. > > If there is no way to set these assumptions, is there some other > recommended way to do intelligent simplification in some way? > > -Andy S. > > -- > 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/80f87d8d-1504-40f6-b6d4-efb08cdcc824%40googlegroups.com > <https://groups.google.com/d/msgid/sympy/80f87d8d-1504-40f6-b6d4-efb08cdcc824%40googlegroups.com?utm_medium=email&utm_source=footer> > . > 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 [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/CAKgW%3D6L3OorvtGQaXp7RUg2RGtVweSgUk2XNQ_tDs%2BqYB5-iMg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
