- From: <juanrgonzaleza@canonicalscience.com>
- Date: Sat, 25 Nov 2006 03:23:54 -0800 (PST)
- To: <www-math@w3.org>
- Cc: <davidc@nag.co.uk>
Hum! Since definitionURL attribute is empty, there is no way to extract meaning for <mml:apply> <mml:ci definitionURL="" encoding="">Equilibrium</mml:ci> <mml:apply> <mml:times definitionURL="" encoding=""/> <mml:cn type="integer" base="10" definitionURL="" encoding="">2</mml:cn> <mml:apply> ... therefore I think that that large piece of code is useless. Maybe it would be rewritten to <mml:apply> <mml:ci type='fn'>Equilibrium</mml:ci> <mml:apply> <mml:times definitionURL="" encoding=""/> <mml:cn type="integer" base="10" definitionURL="" encoding="">2</mml:cn> <mml:apply> ... somewhat as in the f(x) case. However, <apply> <ci type='fn'>f</ci> <ci>x</ci> </apply> denotes an abstract function for abstract x. Whereas sample i got is not abstract but a 'Boolean' version of an standard algebraic equality (= arg1 arg2). In 'Boolean' algebra it is verified a + b = ab. and i think that usage of the standard times function <mml:times definitionURL="" encoding=""/> without definitionURL is another flaw of the code -but this is of course discussible-. That i mean is the function Equilibrium = Equilibrium(arg1, arg2) is not a synonim for generic f = f(x) but an _explicit_ function as the Christoffel function cited in the spec. Therefore, i still think that a <csymbol> with a full definitionURL would be more correct.
Received on Saturday, 25 November 2006 11:24:05 UTC