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

[David Carlisle]

>  Or would it make sense to implicitly treat an n-ary operator as
> equivalent to a unary operator with a list argument -- e.g.


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
      x1
      xn


when it needs to make this explicit in particular when it needs to
construct the list of arguments from something other than an explicit
finite list of terms.

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)




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 Star. The service is
powered by MessageLabs. 
________________________________________________________________________