[Om] Accessing arguments of an n-ary operator as indexed list items (in a definition)
Professor James Davenport
jhd at cs.bath.ac.uk
Sat May 9 15:31:46 CEST 2009
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
>> 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.
Visiting Full Professor, University of Waterloo
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
More information about the Om