[om] About OMV and indexing

Bill Naylor Bill.Naylor at mcs.vuw.ac.nz
Tue Jan 27 06:00:32 CET 2004

> If one would take a CS approach it would be an index into an array of
> OpenMath objects.
> If that is the case one could argue that it could be easily written as:
> <OMA>
>  <OMV name="i"/>
>  <OMI>1</OMI>
> </OMA>
> Where the variable 'i' then would be referring to an OpenMath 'vector/array'
> that has several elements.
> Regards,
> Manfred.

Hi Manfred,

It seems to me that if you use the above mark up as meaning "the 1st (ith
in general) element of the indexed collection i" then you are imposing
some sort of default semantics on the OMA, first child OMV combination
viz. "This first child is some sort of collection and this application
will return the whatever element of that collection".
I prefer the approach that has been taken already in some of the MathML
group CDs which is to use vector_selector[linalg1], or
list_selector[list2], to refer to a particular (or arbitrary) element of a
vector/list. Maybe indexed collections in general might be the subject of
an as yet unwritten CD? it could contain an indexed_selector symbol?



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