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. For more options, visit https://groups.google.com/d/optout.
