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

Professor James Davenport jhd at cs.bath.ac.uk
Sat May 9 00:36:31 CEST 2009


On Thu, May 7, 2009 7:55 pm, Christoph LANGE wrote:
> 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!
Indeed: that's essentially my point that nassoc operators can be treated
as binary, but expressed much better than I did.
<snip>
> Indeed, assuming the existence of such a function x(i) seems more elegant
That's a good point we seem to keep skating round this problem.
> than
> assuming the existence of a list variable and decomposing that list using
> list3#length and list3#entry.

James Davenport
Visiting Full Professor, University of Waterloo
Otherwise:
Hebron & Medlock Professor of Information Technology and
Chairman, Powerful Computing WP, University of Bath
OpenMath Content Dictionary Editor and Programme Chair, OpenMath 2009
IMU Committee on Electronic Information and Communication



More information about the Om mailing list