From: Stan Devitt <jsdevitt@stratumtek.com>

Date: Sat, 28 Jun 2003 16:35:05 -0400

Message-ID: <3EFDFBF9.5040308@stratumtek.com>

To: www-math@w3.org

Date: Sat, 28 Jun 2003 16:35:05 -0400

Message-ID: <3EFDFBF9.5040308@stratumtek.com>

To: www-math@w3.org

Andreas, You had asked for more detail on the new format for this particular example involving fn and curried expressions. In the end, we have removed the bvar as you suggested. Our main concern was to retain the notion of curried expressions and agree that it leaves fewer open questions if we use the functional form of the int operator. I have attached a rewording of that example below. Note that it now includes an alternative form that avoids the whole issue of the fn element. Once again, it will help us if you can reply to this message acknowledging that we have responded to your message. Stan Devitt W3C Math Working Group === start of example === By using the deprecated fn element, it is possible to associate a qualifier schema with a function before it was applied to an argument. For example, a function acting on integrable functions on the interval [0,1] can be written: <fn> <apply> <int/> <interval><cn>0</cn><cn>1</cn></interval> </apply> </fn> This same function can be constructed without using the deprecated fn element by making use of a lambda expression as in: <lambda> <bvar><ci>f</ci></bvar> <apply> <int/> <bvar><ci>x</ci></bvar> <lowlimit><cn>0</cn></lowlimit> <uplimit><cn>1</cn></uplimit> <apply> <ci>f</ci> <ci>x</ci> </apply> </apply> </lambda> This second form has the advantage of making the intended meaning explicit. === end of example ===Received on Saturday, 28 June 2003 16:32:52 GMT

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