[om] A Proposal for extending OpenMath with structure sharing

Professor James Davenport jhd at cs.bath.ac.uk
Sun Jun 30 19:40:00 CEST 2002

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