[Date Index] [Thread Index] [Author Index]
Re: Why does Reduce work this way ...?
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 Jack, I think that Reduce converts inequalities to a canonical form for further processing. The form of the inequality with head Inequality is more general than the one with the head LessEqual. For example, -3<x<=1 cannot be expressed using LessEqual (or Less). Carl Woll Wolfram Research