[om] A Proposal for extending OpenMath with structure sharing

[Professor James Davenport]

On Wed, 26 Jun 2002 sal at dcs.st-and.ac.uk wrote:
> While I agree that there is no foundational 
> problem, it is probably appropriate to note explicitly that these objects are 
That's certainly wise.
> allowed, and that many applications will not be 
                    ^^^^ some, I would hope.
> able to handle these objects and, perhaps, to give some guidance on what is 
> the appropriate error for them to raise in such circumstances.
Indeed so - an error such as "cycles not supported".

To answer Richard's point, we have to be aware of what the less capable 
systems can support, and ensure, both politically and technically, that 
they are not scared away.
James
--
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