When people write $x/yz$, do they usually mean $x/(yz)$ or $(x/y)z$?
For example, from Wikipedia
If $p\geq 1/2$ , then $ \Pr\left[ X>mp+x \right] \leq \exp(-x^2/2mp(1-p)) . $
Thanks!
When people write $x/yz$, do they usually mean $x/(yz)$ or $(x/y)z$?
For example, from Wikipedia
If $p\geq 1/2$ , then $ \Pr\left[ X>mp+x \right] \leq \exp(-x^2/2mp(1-p)) . $
Thanks!
I was told once by a senior engineer that the last explicit symbol is what counts, it cancels the action of the previous one. So, for example, xyz/abc means $(x*y*z)/(a*b*c)$ and xyz/ab*c means $(x*y*z)/(a*b)*c$, as expressed by any standard computer language.
I was a little upset by that implicit convention, but soon found out that it worked well and was able to understand all old handbooks, where equations were written straight in a single line.
I suppose aesthetics is what counts here. I have the feeling that our need for explicit symbols came with a generation which had computer programming lessons at college, so a relatively new thing starting at what, the 60's, the 70's?
A few weeks ago I did a search for this construction. I found three things:
Here are some examples I found:
However, Wikipedia articles are sometimes written by blockheads. From looking at related versions of the same formula, for example here (page 4) or here (theorem 1.5) I guess that that was the case here, and that the $p(1-p)$, if it belongs there at all, should have been in the numerator. I think you should be wary of taking the Wikipedia claims at face value, and instead refer to a source that is written by someone with a reputation.
You should also be wary of taking my claims at face value, since I know absolutely nothing about Chernoff bounds.
Because multiplication is expressed by the omission of an operator, simply by juxtaposing two factors, it should be treated as having a higher precedence than an operator whose presence is visible as an explicit glyph.
That is to say $abc/xyz$, should mean $(a\times b\times c)/(x\times y\times z)$. Basically we would like $abc/xyz$ to just be an in-line shorthand for ${abc}\over{xyz}$ with minimal fuss.
The interpretation $((((ab)c)/x)/y)/z)$ means we cannot do this. Expressing ${abc}\over{xyz}$ with a slash becomes cumbersome.
In computer programming languages, it is common for division and multiplication to have the same precedence and left-to-right associativity. But the situation there is different because multiplication is an explicit symbol like *
. For instance in C a * b / c * d
simply means (((a * b) / c) * d)
.
But if multiplication is notated by mere juxtaposition, a strong case can be made that it this juxtaposition should also denote "tighter binding" (higher precedence than any binary operator).
Mathematics notation is richly visual and two dimensional. Juxtaposition relationships matter. For instance the way an exponent binds with its base.
The American Physical Society gives multiplication a higher order than division in the slash notation:
When slashing fractions, respect the following conventions. In mathematical formulas this is the accepted order of operations:
- raising to a power,
- multiplication,
- division,
- addition and subtraction.
(Styling applied) (Source: Page 6 of Section IV of Physical Review Style and Notation Guide, retrieved 2012.10.14)
This means that (for them) $ x/yz = x/(yz) $ However, keep in mind that this may represent only the view of one group of scientists, I don't know of any established standard.
By the usual order of operations, it means $(x/y)z$. But people do often mean $x/(yz)$ instead, so you have to work out the intention from the context. :(