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