[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:  

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