W3C home > Mailing lists > Public > www-math@w3.org > April 2003

Re: Last Call Working Draft of MathML 2.0, 2nd edition published

From: Bill Naylor <Bill.Naylor@mcs.vuw.ac.nz>
Date: Mon, 14 Apr 2003 17:24:50 +1200 (NZST)
To: Max Froumentin <mf@w3.org>
cc: www-math@w3.org
Message-ID: <Pine.SOL.4.51.0304141714360.6094@debretts.mcs.vuw.ac.nz>


>
> Please send comments to www-math@w3.org
>
> Max Froumentin
> for the WG Math WG
>

I have a comment on the second exmaple in section 4.2.5.1:
there are three csymbol elements, all pointing to

http://www.openmath.org/cd/setname1.ocd

this is ambiguous as it stands, since that CD holds definitions of six
symbols. The example would be more accurately (unambiguously) stated as:

-----------------------------
The next example encodes "for all x in N there exist prime numbers p, q
such that p+q = 2x".

<apply>
  <forall/>
  <bvar><ci>x</ci></bvar>
  <condition>
    <apply><in/>
          <ci>x</ci>
          <csymbol encoding="OpenMath"
            definitionURL="http://www.openmath.org/cd/setname1.ocd#N"/>
        </apply>
  </condition>

  <apply><exists/>
     <bvar><ci>p</ci></bvar>
     <bvar><ci>q</ci></bvar>
     <condition>
       <apply><and/>
          <apply><in/><ci>p</ci>
            <csymbol encoding="OpenMath"
              definitionURL="http://www.openmath.org/cd/setname1.ocd#P"/>
          </apply>
          <apply><in/><ci>q</ci>
            <csymbol encoding="OpenMath"
              definitionURL="http://www.openmath.org/cd/setname1.ocd#P"/>
          </apply>
          <apply><eq/>
              <apply><plus/><ci>p</ci><ci>q</ci></apply>
              <apply><times/><cn>2</cn><ci>x</ci></apply>
          </apply>
        </apply>
      </condition>
  </apply>
</apply>
-----------------------------

as it stands, it is implying that http://www.openmath.org/cd/setname1.ocd
refers to some function which takes a string as argument and returns a
set.

cheers,

Bill.
Received on Monday, 14 April 2003 01:25:39 GMT

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