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>

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 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:27:33 UTC
*