[Om] Accessing arguments of an n-ary operator as indexed list items (in a definition)
David Carlisle
davidc at nag.co.uk
Thu May 7 10:40:41 CEST 2009
> 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.
________________________________________________________________________
More information about the Om
mailing list