- From: Andreas Strotmann <Strotmann@rrz.Uni-Koeln.DE>
- Date: Mon, 30 Jun 2003 11:55:46 +0200 (MET DST)
- To: Stan Devitt <jsdevitt@stratumtek.com>
- Cc: www-math@w3.org
Stan, except perhaps for the minor quibbles mentioned below, your solution addresses the issues I raised very well. It's a good idea to add an explicit lambda-based version of the example, I think. Thanks! -- Andreas On Sat, 28 Jun 2003, Stan Devitt wrote: > > 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: Shouldn't you use the past tense in the previous paragraph (it *was* possible, *could* be written)? > > <fn> > <apply> > <int/> > <interval><cn>0</cn><cn>1</cn></interval> > </apply> > </fn> > You're using lowlimit/uplimit below, and should do the same here. That way, you also avoid potential misunderstandings wrt. the ambiguous interval element, which might confuse the issue here unnecessarily. > 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 === > > > Andreas Strotmann /~~~~~~~~\_________A.Strotmann@Uni-Koeln.DE Universitaet zu Koeln /| University of Cologne \ Regionales Rechenzentrum | Regional Computer Center \ Robert-Koch-Str. 10 | Tel: +49-221-478-5524 |\ D-50931 Koeln __|__ FAX: +49-221-478-5590 |_____________
Received on Monday, 30 June 2003 05:58:06 UTC