w3.org – www-math – MathML 3 – section 4.6 ‘The Strict Content MathML Transformation’

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: <,domainofapplication>,<,set>,<,cn>,1<,/cn>,<,cn>,2<,/cn>,<,cn>,3<,/cn>,<,/set>,<,/domainofapplication>, 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. 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: <,domainofapplication>,<,set>,<,cn>,1<,/cn>,<,cn>,2<,/cn>,<,cn>,3<,/cn>,<,/set>,<,/domainofapplication>, 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. <,domainofapplication>,<,set>,<,cn>,1<,/cn>,<,cn>,2<,/cn>,<,cn>,3<,/cn>,<,/set>,<,/domainofapplication>, So maybe the rule in 4.3.1.2 should be adjusted so it applies to the more usual form <,vector>,...<,/vector>,, and 4.6 updated so that it refers to the newly added rule (and likewise for matrix and matrixrow). >,>, <,domainofapplication>,<,set>,<,cn>,1<,/cn>,<,cn>,2<,/cn>,<,cn>,3<,/cn>,<,/set>,<,/domainofapplication>, >, <,domainofapplication>,<,set>,<,cn>,1<,/cn>,<,cn>,2<,/cn>,<,cn>,3<,/cn>,<,/set>,<,/domainofapplication>, Source.


Яндекс.Метрика Рейтинг@Mail.ru Free Web Counter
page counter
Last Modified: March 30, 2015 @ 12:00 am