From: Andrew Miller <ak.miller@auckland.ac.nz>

Date: Mon, 26 Mar 2012 07:57:00 +1300

Message-ID: <4F6F6A7C.7050909@auckland.ac.nz>

To: www-math@w3.org

Date: Mon, 26 Mar 2012 07:57:00 +1300

Message-ID: <4F6F6A7C.7050909@auckland.ac.nz>

To: www-math@w3.org

Hi all, Section 4.6 includes the following text under point 4b: "Rewrite interval, vectors, matrices, and matrix rows as described in Section 4.4.1.1 Interval |<interval>| <http://www.w3.org/TR/MathML/chapter4.html#contm.interval>, Section 4.4.9.1 Vector |<vector>| <http://www.w3.org/TR/MathML/chapter4.html#contm.vector>, Section 4.4.9.2 Matrix |<matrix>| <http://www.w3.org/TR/MathML/chapter4.html#contm.matrix> and Section 4.4.9.3 Matrix row |<matrixrow>| <http://www.w3.org/TR/MathML/chapter4.html#contm.matrixrow>". However, sections 4.4.9.1, 4.4.9.2, and 4.4.9.3 do not describe any rules on how to rewrite vector, matrix, and matrixrow elements. Given that vectors (and matrices, and matrixrows) can have domain qualifiers, I presume that there is supposed to be a transformation like the one for sets, although it is not clear what OpenMath the following is supposed to map into: <vector> <bvar><ci>x</ci></bvar> <domainofapplication><set><cn>1</cn><cn>2</cn><cn>3</cn></set></domainofapplication> <apply><plus/> <ci>x</ci> <cn>1</cn> </apply> </vector> The OpenMath linalg7 CD has a list_to_vector symbol, but it is a binary function that requires the ring of the vector to be specified explicitly.Received on Sunday, 25 March 2012 18:57:37 GMT

*
This archive was generated by hypermail 2.2.0+W3C-0.50
: Sunday, 25 March 2012 18:57:38 GMT
*