MathGroup Archive 2010

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

Search the Archive

Re: Replacement Rule with Sqrt in denominator

On Dec 10, 12:30 am, AES <sieg... at> wrote:
> In article <idnqq6$q5... at>,
>  Noqsi <noqsiaerosp... at> wrote:
> > It is easy to see the kind of chaos the vague and ambiguous "rules
> > should be interpreted semantically in a way that makes mathematical
> > sense" would cause. How should
> > a + b I /. I->-I
> > be interpreted *semantically*?
> I do not possess anything like the depth of knowledge of symbolic
> algebra or the understanding of the principles of semantics that would
> embolden me to offer any answer to the preceding question.

Oh, come on. This really isn't hard to understand.

> But I will offer the following opinion:  However the above rule is to b=
> interpreted, in any decent symbolic algebra system, assuming a and b
> have not yet been assigned any values, the symbol I should be
> interpreted (i.e., modified) identically -- i.e., in *exactly* the same
> fashion -- for either of the inputs
>    a + b I /. I->-I      OR     a + 2 b I /. I->-I
> This is NOT the case in Mathematica.

And this is trivially understandable by looking at FullForm. "I" is
part of the number in this case: it is not a separate symbol. As well
expect 22/.2->1 to yield 11.

>  This behavior is a "gotcha" that
> can be responsible for large and hard to trace difficulties for many
> users

Sure. And if you use a power saw carelessly, you'll cut your fingers
off. That's a worse "gotcha", but it can't be helped in a foolproof
way without crippling the saw. Just as this can't be helped without
crippling Mathematica.

> Furthermore, I believe that Mathematica WILL interpret (i.e. , modify)
> the two inputs above in exactly the same fashion if the character I in
> thee two expressions is replaced by ANY OTHER single upper or lower case
> letter in the alphabet.  Does anyone else find this not to be true?

It's a consequence of two very simple considerations:

1. Pattern matching works on FullForm.

2. Pattern matching can't split atoms.

What's so hard about this? There are only six kinds of atoms.

When using a tool, it's preferable to exploit the way it actually
works, rather than make up some impossible notion and complain that it
should work that way.

  • Prev by Date: Re: Analytics in Version 8.0
  • Next by Date: Re: DSolve on 'simple' differential equations
  • Previous by thread: Re: Replacement Rule with Sqrt in denominator
  • Next by thread: Re: Replacement Rule with Sqrt in denominator