[Om3] need list2.ocd for MathML group

[Professor James Davenport]

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