> 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. ________________________________________________________________________ _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
