- 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
>
> 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 UTC