On Mon, 22 Sep 2008, Jan Willem Knopper wrote:
> Professor James Davenport wrote:
> > A good question.
> Thank you for your quick reply,
> ...
> > 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).
>
Michael is currently looking at various issue sof binding etc. with
calculus-like operators, but once that converges, I will add "something
like" this to the list. Though it's not intrinsically calculus, because of
the use it probably belongs there in practice, as Chris was implying.
James
_______________________________________________
Om3 mailing list
[email protected]
http://openmath.org/mailman/listinfo/om3
