[Date Index] [Thread Index] [Author Index]
Re: Why does Reduce work this way ...?
I found Inequality in some output a while ago. I emailed tech support and Tom Zeller pointed me to the following explanation in section A.2.7 of the Mathematica Book: Relational Operators: Relational operators can be mixed. An expression like a > b >= c is converted to Inequality[a, Greater, b, GreaterEqual, c], which effectively evaluates as (a > b) && (b >= c). (The reason for the intermediate Inequality form is that it prevents objects from being evaluated twice when input like a > b >= c is processed.) On 6/13/06, jackgoldberg at comcast.net <jackgoldberg at comcast.net> wrote: > Hi folks, > > This post is related to a previous series of posts about ReplaceAll in a set of inequalities. > I have "reduced" the problem to this unexpected situation: > > In FullForm[-3<=x<=1] > Out LessEqual[-3,x,1] > > In Reduce[-3<=x<=1] > Out -3<=x<=1 > > In FullForm[%2] > Out Inequality[-3, LessEqual, y, LessEqual, 1] > > In Reduce[ LessEqual[-3,x,1] > Out -3 ≤ x ≤ 1 > > In FullForm[%4] > Out Inequality[-3, LessEqual, y, LessEqual, 1] > > This defies my understanding. What is qoing on with Reduce? > > Jack > > -- http://chris.chiasson.name/