On Sat, May 9, 2009 9:43 am, Christoph LANGE wrote: > On Saturday 09 May 2009 00:36:31 Professor James Davenport wrote: >> > 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. > > I do not quite understand what you mean by that comment -- do you mean > that we > are still a bit fuzzy and don't nail down the exact semantics of the > things we're talking about? What I meant is that you say "assuming the existence of such a function x(i) ...". I've always assumed we meant list_selector from list2, but we haven't made that as clear as we should.
Incidentally, I've noticed a missing FMP there: will fix. 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
