[om] A Proposal for extending OpenMath with structure sharing

jhd at cs.bath.ac.uk jhd at cs.bath.ac.uk
Wed Apr 3 13:01:05 CEST 2002

On Tue, 2 Apr 2002, Michael Kohlhase wrote:
> However, this does raise the question of what a phrasebook (e.g. for maple)
> should do upon receiving a syntactically shared OM object. Should it
> explode the object, just to be sure to adhere to the semantics?
Worse, since Maple always shares (syntactically), should it export shared, 
even if it attaches no semantics ot the sharing, since the reader may 
attach semantics to the sharing.
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