[Om] Accessing arguments of an n-ary operator as indexed list items (in a definition)
ch.lange at jacobs-university.de
Thu May 7 20:55:51 CEST 2009
On Thursday 07 May 2009 10:40:41 David Carlisle wrote:
> The translations of MathML n-ary usage as appearing in the editors draft
> (ignorigning various special cases)
> essentially treats the n-ary usage as synonymous for
Thanks, David, that's exactly what I've been looking for!
> so in if you actually want the indexed list you could have
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.
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20090507/2e60aed9/attachment.pgp
More information about the Om