[om] Re: Bugs in OpenMath standard draft 3

Bill Naylor Bill.Naylor at mcs.vuw.ac.nz
Fri Nov 21 03:36:44 CET 2003


>
>    6) I am not a Relax NG schema guru, but from my reading I don't see that
>    the Relax NG schema for OpenMath 2 allows for indexed 'OMV's as described
>    elsewhere in the text.
>
> Fixed. OMV now allows a 0-or-1 element children (Although personally i
> think we may need to look at this again, I think we may want to restrict
> this to (say) literal integers or back it out, as allowing arbitrary
> content here raises some difficult issues about determining identity
> of two openmath fragments, which previously has never been required.

I remember that in the past whenever we have needed the equivalent of an
enumerated variable we've used elements of an implied vector (i.e.
vector_selector(i,V), where V is an OMV), I think that if we restrict the
content of OMV to being literal integers we lose any expressivity which
may have been added by allowing enumerated OMVs in the first place.
How about something more general, for example saying something like the type
of the expression must be integer. (I don't know how that could be
expressed in the form of a schema though ... sounds far too much like type
checking to me!!)

>
>    8) also in section 4.1.2 the subsection on Floating-point numbers gives a
>    regular expression for dec attributes, maybe for hex attributes it should
>    give:
>
>    "(-?)([0-9A-F]+)?("."[0-9A-F]+)?(e(-?)[0-9A-F]+)?"
>
> No, the hex attribute encodes the bytes of the IEEE double so there is
> no - or e, if we gave a regexp (perhaps we should) it would be [0-9A-F]+
>

I think a regular expression for the hex attribute is definitely required,
an example of its use would also be very helpfull.

all the best,

Bill

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