[om] Specfun CD's (was: library)

Richard Fateman fateman at cs.berkeley.edu
Mon Aug 13 17:18:47 CEST 2001

The "short" names for functions and constant have many ambiguities.
Look at the table of notations in Gradshteyn and Rhyzik.  (I don't
have it handy here, but I think there are 4 or five different
uses of {\italic B}.

What this means to me is that you should have contexts like

with symbol B from context C {perhaps reference to URL?}
 {  some representation}

Of course the notion of such binding in programming languages
is well understood.

in lisp, something like

(let  ((B value)) ....  expression using B ...)
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