[Om3] need list2.ocd for MathML group

[Michael Kohlhase]

David, James,

Professor James Davenport wrote:
>> 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?
>>     
I must say, then this definition was plain wrong mathematically and
conceptually :-).

I must say that I find it problematic, that an application or phrasebook
must support matrices in order to select the nth element of a list.

But If I am the only one complaining then I will probably relent, but I
still think that this conflation will be a very hard sell.

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

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