[om] Re: Bugs in OpenMath standard draft 3

Bill Naylor Bill.Naylor at mcs.vuw.ac.nz
Tue Nov 25 02:29:31 CET 2003

Another (possible) bug in the schema for CDs the FMP element is declared

FMP = element FMP { text-or-om }

surely a textual FMP is not very formal, I would have thought this should

FMP = element FMP { OMOBJ }

I have a suggestion for making the CDStatus and Role elements more
specific in the schema. Rather than just insisting on text content, could
they be declared as:

CDStatus = element {"official" | "experimental" | "private" | "obsolete"}


Role = element {"binder" | "attribution" | "semantic-attribution" |
"error" | "default"}

This would enable greater validation, or am I missing something?


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