[Om3] need list2.ocd for MathML group

[Michael Kohlhase]

David,

I am not sure that I agree that we should not distinguish between lists-
and vector-, but If we want to, then I would at least drop the name
vector from the selector of one-dimensional objects. I could imagine
mapping <selector> to <csymbol>nth</csymbol> (and maybe
<csymbol>nmth</csymbol>). But then I have the problem, from which CD
'nth' should be. In this light I would really suggest to have
list_selector  (or even better 'nth' from lists1).

Michael

David Carlisle wrote:
>> 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?
>
> David
>
> ________________________________________________________________________
> The Numerical Algorithms Group Ltd is a company registered in England
> and Wales with company number 1249803. The registered office is:
> Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
>
> This e-mail has been scanned for all viruses by Star. The service is
> powered by MessageLabs. 
> ________________________________________________________________________
>   

-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,       Office: Research 1, Room 62 
 Professor of Computer Science     Campus Ring 12, 
 School of Engineering & Science   D-28759 Bremen, Germany
 Jacobs University Bremen*         tel/fax: +49 421 200-3140/-493140
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
 skype: m.kohlhase   * International University Bremen until Feb. 2007
----------------------------------------------------------------------