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