Re: Suggested Corrections to 4.2.3.2 and 4.4.2.15

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 UTC