W3C home > Mailing lists > Public > www-math@w3.org > November 2006

Re: Samples from the Internet

From: <juanrgonzaleza@canonicalscience.com>
Date: Sat, 25 Nov 2006 03:23:54 -0800 (PST)
Message-ID: <3177.217.124.69.245.1164453834.squirrel@webmail.canonicalscience.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:59 GMT