[Date Index]
[Thread Index]
[Author Index]
Re: Solve never calls Equal?
*To*: mathgroup at smc.vnet.net
*Subject*: [mg120300] Re: Solve never calls Equal?
*From*: Andrzej Kozlowski <akoz at mimuw.edu.pl>
*Date*: Sun, 17 Jul 2011 06:04:20 -0400 (EDT)
*References*: <201107150118.VAA23606@smc.vnet.net> <ivovvt$qpa$1@smc.vnet.net> <201107160941.FAA08237@smc.vnet.net> <7BBB2BCC-0234-4BDA-A129-3270EBA623CE@mimuw.edu.pl> <4E2285B3.9040104@eecs.berkeley.edu> <B41B6049-875E-418A-8B6F-921C87D04326@mimuw.edu.pl>
Maybe the "joke" should be more clearer for the benefit of the more
naive users (and I include Richard in this category) for reasons that
will soon become obvious (though they already are to many).
Firstly, Solve does not hold its arguments as everyone except the most
naive users will know, so the fact that Solve[eqns,x] will first
evaluate eqns and then will attempt to compare (using Equal) a symbolic
expression to a number is also news to someone like Richard. (In fact I
pointed out similar things to him in the past and if he really wants to
be reminded of that I can post these messages).
So, of course, once Equal has been replaced by SameQ, you wil end up
with Solve[False,x] etc.
Only someone like Richard will find this so exciting that it needs to be
explained. I am sorry, but the only reason why I omitted doing so myself
was that it seemed to me too patronising to other users to explain such
obvious stuff.
On the other hand, the fact that having modified Equal in this way,
Richard tested functions which do not normally use significance
arithmetic instead of choosing an example that actually needs it, does
show something about Richard's understanding of Mathematica.
So that is what makes his joke so funny, eve if he did not necessarily
intend it to be so.
Andrzej Kozlowski
On 17 Jul 2011, at 09:30, Andrzej Kozlowski wrote:
>
> On 17 Jul 2011, at 08:48, Richard Fateman wrote:
>
>> The point of this predecessor note was to explain to Andrzej why
Solve appeared to him to be broken.
>> In fact, Solve does not use Equal in this example.
>
> That's, of course, one of Richard's funnier jokes (as may people here
I am sure will notice by themselves).
>
> Andrzej Kozlowski
Prev by Date:
**I: NONLINEARMODELFIT**
Next by Date:
**infection model of numeric coercion in Mathematica [Was: Re: Numerical accuracy/precision - this is a bug or]**
Previous by thread:
**Re: Solve never calls Equal?**
Next by thread:
**Re: Solve never calls Equal?**
| |