Services & ResourcesWolfram ForumsMathGroup Archive

[Date Index] [Thread Index] [Author Index]

Why does Reduce work this way ...?

• To: mathgroup at smc.vnet.net
• Subject: [mg67225] Why does Reduce work this way ...?
• From: jackgoldberg at comcast.net
• Date: Tue, 13 Jun 2006 01:07:21 -0400 (EDT)
• Sender: owner-wri-mathgroup at wolfram.com

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[1]  FullForm[-3<=x<=1]
Out[1]  LessEqual[-3,x,1]

In[2] Reduce[-3<=x<=1]
Out[2]  -3<=x<=1

In[3]  FullForm[%2]
Out[3]  Inequality[-3, LessEqual, y, LessEqual, 1]

In[4] Reduce[ LessEqual[-3,x,1]
Out[4] -3 &#8804; x &#8804; 1

In[5] FullForm[%4]
Out[5]  Inequality[-3, LessEqual, y, LessEqual, 1]

This defies my understanding.  What is qoing on with Reduce?

Jack

• Follow-Ups:
  • Re: Why does Reduce work this way ...?
    • From: "Carl K. Woll" <carlw@wolfram.com>
  • Re: Why does Reduce work this way ...?
    • From: "Chris Chiasson" <chris@chiasson.name>
  • Re: Why does Reduce work this way ...?
    • From: Andrzej Kozlowski <akoz@mimuw.edu.pl>