[om] A Proposal for extending OpenMath with structure sharing

Richard Fateman fateman at cs.berkeley.edu
Mon Apr 1 01:54:41 CEST 2002

I assume that JHD mean the interval from -1 to 1  by [-1,1].
Then JHD asserts that if x= [-1,1],  then  x-x is zero, while
[-1,1]- [-1,1]  is [-2,2].  
I think that x-x pretty much has to be [-2,2],  which of course includes
value of  0.
Consider the extension of JHD's rule yielding 0:  p(x) where p is a
would not be the result of evaluating each operation as an interval
but the value [a,b] where a= min(p(x),x in [-1,1]), b = max ....
Now this would be very neat, but might not be computable.

The notion of sharing as a data structure does not have relate to
identicality of elements.  Maple shares common subexpressions regardless
of their origin. Mathematica's notion of mapping from names to values
is also peculiar.

This is yet another area in which there is a solution provided in common
which has a notation to read and write expressions with
shared or even circular substructure.
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