[om] OpenMath and Imaging
Richard J. Fateman
fateman at cs.berkeley.edu
Tue Sep 28 19:31:52 CEST 1999
While a<b<c is presumably a<b and b<c in normal math,
note that the subexpression a<b appears twice on the previous
line and means different things each time. a<b in isolation
is boolean-valued.
There are ambiguities in math publications, and it may
be worth pondering how to treat them when they are encountered.
(One hopes they would not be generated by a computer algebra
system, but DO appear in the input to these systems, as well
as in published material).
Here's one I found in a math text:
1/2a
This means 1/(2*a)
because if the author meant a/2, he would
have written it that way.
(Functions of a Complex Variable, Carrier/Krook/
Pearson, McGraw Hill, 1966
p 285 eq. 6-73)
I have also seen examples in Courant/Hilbert, Methods of Math. Phys.
--
om at openmath.org - general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems
More information about the Om
mailing list