[om] A Proposal for extending OpenMath with structure sharing

[sal at dcs.st-and.ac.uk]

Andrew, to take a simple example, consider the DAG

	-
             /	  \
             \   /
  	Random(Integers)

A syntactic approach to sharing would interpret this always as

	Random(Integers) - Random(Integers)

A semantic approach would allow Random to be specified so that this was 
evaluated in GAP by

	function()
	local x;
	x := Random(Integers);
	return x-x;
	end;

in other words, so that it was always 0. 

Note that Random might also be specified otherwise. Since we don't have a 
notion of evaluation at OpenMath level, each Symbol, for which it is relevant 
would need to define how shared instances  behaved in various contexts. 

	Steve



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