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

RE: Re: I don't unde

• To: mathgroup@smc.vnet.net
• Subject: [mg10666] RE: [mg10618] Re: [mg10551] I don't unde
• From: Ersek_Ted%PAX1A@mr.nawcad.navy.mil
• Date: Fri, 30 Jan 1998 04:24:05 -0500

I response to the question about
Solve[x/x+x==1,x]  giving  {{x->0}}

Ken Levasseur wrote:
|
|The software explaination is the Solve doesn't have a HoldFirst
|Attribute so it will simplify x/x before evaluation. |

Well it doesn't make a difference even if Solve does have the HoldFirst 
Attribute.
Try the lines below.

In[1]:=
SetAttributes[Solve, HoldFirst];


In[2]:=
Solve[x/x+x==1,x]

Out[2]=
{{x -> 0}}


I think Solve verifies the solution with the Evaluated equation instead
of the Unevaluated equation.

Ted Ersek