[Om] Named functions in OpenMath

[Paul Libbrecht]

Ken,

I think all the hints presented here are perfect.
More or less, the question of "what is a context" is something left to you.

If you do it using CDs, then the context can be pretty broad, as broad
as the public wen where anyone can find a CD and leverage it to do
things about the named functions (e.g. use an FMP and calculations,
compute types, decorate rendering, perform indexing...).
Since the world is the scope, having ambiguity is probably troublesome;
so you'd better have a namespacing mechanism.

If you do it using prog1, I think ylou're more free to define the scope
of the context.
E.g. it could be a document which you load and contain the OMOBJs, it
could be an interactive session, or a website...

Using structure sharing, I think you restrict that to only well formed
xml documents.

paul


On 5/05/15 13:12, David Carlisle wrote:
> On 05/05/2015 11:39, Wenzel, Ken wrote:
>> 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]
>
> the second, or mycd.area(a,b)=a*b
>
>> 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.
>
> The original model split that between CDs and the object syntax it is
> true.
>
> There is of course nothing to stop you having a CD that allows the
> definition of symbols within the language.
>
> For example the programming cd
>
> http://www.openmath.org/cd/prog1.xhtml
>
> has constructs for "let" and "function definition" which give
> local interpretation to OMV  which may then be used
> to reference those functions by name.
>
> David
>
> ________________________________
>
>
> The Numerical Algorithms Group Ltd is a company registered in England
> and Wales with company number 1249803. The registered office is:
>
> Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
>
>
>
> This e-mail has been scanned for all viruses by Microsoft Office 365.
>
> ________________________________
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 536 bytes
Desc: OpenPGP digital signature
URL: <http://openmath.org/pipermail/om/attachments/20150506/bb5cddfb/attachment.pgp>