________________________________________ Von: [email protected] [[email protected]]" im Auftrag von "David Carlisle [[email protected]] Gesendet: Montag, 4. Mai 2015 17:26 An: [email protected] Betreff: Re: [Om] Named functions in OpenMath
On 04/05/2015 09:34, Wenzel, Ken wrote: > Hello, > > I wonder what is the correct way to represent a named function in OpenMath. > > For example, I like to describe a function named "area" that computes the > area of a rectangle. > > The corresponding Popcorn expression for the anonymous function is: > > fns1.lambda[$a, $b -> $a * $b] > > What is now the correct method to name this function. > > I can, for example, just give it an ID like > > fns1.lambda[$a, $b -> $a * $b] : area > > and invoke it with #area(3, 4) at an later point. > > But I think this is some kind of structure sharing since the lambda > expression is > simply copied into the resulting OpenMath object and not the invocation of > a single function named "area". > > I would be grateful if somebody can help me. > > Best regards, > Ken You could define a binding to names within an openmath expression but if I understand correct;y the question, the traditional place for such bindings is in a Content Dictionary. If you had a CD that defined a symbol area with an FMP that gave the semantics in terms of that lambda expression, then you'd just need <apply> <OMS cd="mycd" mame="area"/> .... David _______________________________ OK, I understand. Would you suggest that the FMPs content should be simply fns1.lambda[$a, $b -> $a * $b] or should I use some kind of equation like mycd.area = fns1.lambda[$a, $b -> $a * $b] All in all I think that this is not fundamentally different from simply using an OMR like <OMR href="http://example.org/mycd#area";> The problem with OpenMath is that I don't have the possibility to declare http://example.org/mycd#area as a symbol AND as the lambda expression at the same time. Thank you and best regards, Ken _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
