[Om3] calculus function difference application

[Jan Willem Knopper]

Professor James Davenport wrote:
> On Mon, 22 Sep 2008, Jan Willem Knopper wrote:
> > There is an elementary calculus symbol I would like to use in my formula
> > editor, and I would like to know whether it has been considered in the
> > past for inclusion in OpenMath, and if not, whether it might be useful
> > to include it in the future. It is not currently present in content
> A good question.
Thank you for your quick reply,
...
> > MathML.
> > 
> > In calculus with definite integration one often writes:
> > 
> > \int^b_a f'(x)dx = [f(x)]^b_a = f(b)-f(a)
> > 
(this is about the [f(x)]^b_a )
...
> > Any comments on this would be appreciated,
> I was gong to point oit that it is really 'syntactic sygar' for two 
> evaluations, and so could be
> <OMA>
>   <OMS name="minus" cd="arith1"/>
>   <OMA>
>     <OMBIND>
>       <OMS name="lambda" cd="fns1"/>
>       <OMBVAR>
>         <OMV name="x"/>
>       </OMBVAR>
>       <OMV name="f"/>
>     </OMBIND>
>     <OMV name="b"/>
>   </OMA>
>   <OMA>
>     <OMBIND>
>       <OMS name="lambda" cd="fns1"/>
>       <OMBVAR>
>         <OMV name="x"/>
>       </OMBVAR>
>       <OMV name="f"/>
>     </OMBIND>
>     <OMV name="a"/>
>   </OMA>
> </OMA>
> which is correct, but not exactly helpful.
> Presumably what you want is something like
> <OMA>
>   <OMBIND>
>     <OMS name="eval_difference" cd="calculus2"/>
>     <!-- hypothetical symbol -->
>     <OMBVAR>
>       <OMV name="x"/>
>     </OMBVAR>
>     <OMV name="f"/>
>   </OMBIND>
>   <OMV name="a"/>
>   <OMV name="b"/>
> </OMA>
> 
> Is this correct?
This was what I am looking for. 

In this case it is easier to make a good default context-free
notation/display (no conflicts with calculations with lambda functions)
and it is easier to parse (only a single OMBIND, and easy to check if an
expression is in this form).

Regards,

Jan Willem 
> James
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20080922/f30e7dc6/attachment.pgp