Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
2006
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 2006

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

Search the Archive

Re: Why does Reduce work this way ...?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg67236] Re: Why does Reduce work this way ...?
  • From: Jean-Marc Gulliet <jeanmarc.gulliet at gmail.com>
  • Date: Wed, 14 Jun 2006 06:28:40 -0400 (EDT)
  • Organization: The Open University, Milton Keynes, UK
  • References: <e6lhul$nh2$1@smc.vnet.net>
  • Sender: owner-wri-mathgroup at wolfram.com

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[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
> 
Hi Jack,

Yes, your results seem rather puzzling! I don not know from where you 
can possibly get the 'y' especially with a freshly started Mathematica 
session...

On my system everything is fine, no 'y'

In[1]:=
FullForm[-3 <= x <= 1]

Out[1]//FullForm=
LessEqual[-3, x, 1]

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

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

In[3]:=
FullForm[%2]

Out[3]//FullForm=
Inequality[-3, LessEqual, x, LessEqual, 1]

In[4]:=
Reduce[-3 <= x <= 1]

Out[4]=
-3 <= x <= 1

In[5]:=
FullForm[%4]

Out[5]//FullForm=
Inequality[-3, LessEqual, x, LessEqual, 1]

In[6]:=
$Version

Out[6]=
5.2 for Microsoft Windows (June 20, 2005)

Best regards,
/Jean-Marc


  • Prev by Date: Re: new slide template: how change?
  • Next by Date: Re: Determining continuity of regions/curves from inequalities
  • Previous by thread: Re: Why does Reduce work this way ...?
  • Next by thread: Determining continuity of regions/curves from inequalities