[Om] Accessing arguments of an n-ary operator as indexed list items (in a definition)

[Christoph LANGE]

On Thursday 07 May 2009 10:40:41 David Carlisle wrote:
> The translations of MathML n-ary usage as appearing in the editors draft
> at
> http://monet.nag.co.uk/~dpc/draft-spec/chapter4.html
> (ignorigning various special cases)
>
> essentially treats the n-ary usage as synonymous for
>
> apply_to_list
>    intersectionOf
>    list
>       x1
>       xn

Thanks, David, that's exactly what I've been looking for!

> so in if you actually want the indexed list you could have
>
>
> apply_to_list
>    intersectionOf
>    map
>     integer_interval
>        0
>        n
>    lambda
>       i
>       x(i)

Indeed, assuming the existence of such a function x(i) seems more elegant than
assuming the existence of a list variable and decomposing that list using
list3#length and list3#entry.

See https://trac.omdoc.org/OMDoc/ticket/1506 for the complete formalization I
figured out for our problem.

Cheers,

Christoph

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20090507/2e60aed9/attachment.pgp