[om] A Proposal for extending OpenMath with structure sharing

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

While I agree that there is no foundational 
problem, it is probably appropriate to note explicitly that these objects are 
allowed, and that many applications will not be 
able to handle these objects and, perhaps, to give some guidance on what is 
the appropriate error for them to raise in such circumstances.

	Steve
-- 
Steve Linton	School of Computer Science  &
      Centre for Interdisciplinary Research in Computational Algebra
	     University of St Andrews 	 Tel   +44 (1334) 463269
http://www-theory.dcs.st-and.ac.uk/~sal	 Fax   +44 (1334) 463278   

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