[om] A Proposal for extending OpenMath with structure sharing

sal at dcs.st-and.ac.uk sal at dcs.st-and.ac.uk
Thu Apr 4 11:17:58 CEST 2002

Andrew, to take a simple example, consider the DAG

             /	  \
             \   /

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

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

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. 


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