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 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
