[Om] Accessing arguments of an n-ary operator as indexed list items (in a definition)

[Professor James Davenport]

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