Re: Calc: `*' binds more strongly than `/'

[Stefan Monnier]

>>> No, not normal for mathemeticians (and me on a bad day), who expect
>>> A*B/C*D to be the same as (A*B)/(C*D).

>> But for "A*B/C*D" I have a difficult time believing that some "standard math
>> notation" would parse it as you suggest.  I.e. do you have any reference to
>> concrete data to back up this hypothesis?

> Yes, if you read it as

>    A * B
>    -----
>    C * D

> I (and I believe the calc author) interpret it as above 

I don't think so.

Theorem: the "/" is *not* a horizontal bar.
Proof:

  What parse tree do you expect from A+B/C+D?

  Is it the same as the one you expect from

    A + B
    -----
    C + D

QED.


        Stefan