[Om3] need list2.ocd for MathML group
Professor James Davenport
jhd at cs.bath.ac.uk
Mon Sep 15 00:39:52 CEST 2008
On Sun, 14 Sep 2008, David Carlisle wrote:
<Michael>
> > hmmm, I am not sure that I like the idea to use vector_selector for the
> > selector on lists.
>
> Life's full of compromises:-)
>
>
> I think if you want to change this, then you need to make a concrete
> suggestion for the OM encoding of
>
> <selector>
> <ci>X</ci>
> <ci>i</ci>
> </selector>
>
>
> In MathML2/OM2 (and in MathML1/OM1) that was fairly unambiguously
>
> linalg1.vector_selector(x,i)
>
> http://www.openmath.org/documents/om-mml.pdf
>
> says on page 16
>
> selector Corresponds to
> <OMS name="vector_selector" cd="linalg1"/>
> or
> <OMS name="matrix_selector" cd="linalg1"/>,
> depending on the MathML arity.
>
> so it's been defined that way since (at least) 2001, does it really help
> to change it at this time?
>
Furthermore, when you're taking the i'th element, you are effectively
treating the list as a vector, wheras the others from list2 (rest etc.)
are not. Indeed, if I had to argue anything, it would be for deleteing
list_selector, as redundant given we have vector_selector.
James
More information about the Om3
mailing list