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

Christoph LANGE ch.lange at jacobs-university.de
Sat May 9 18:10:47 CEST 2009


Dear Arjeh,

On Saturday 09 May 2009 16:43:02 Arjeh Cohen wrote:
> In the good old day, I used sequence rather than list
> for the same purpose. See
> http://www.win.tue.nl/~amc/oz/om/cds/sequence1.xml.

Aha -- hmm, maybe that should be considered for the MathML 3 spec.  It does
not seem to conflict with what's already said there, as the spec only mentions
apply_to_list, but not how to construct a list out of arguments.  And the
latter, plus the additional possibilities of how to _deal_ with the elements
of such a list, might be useful.

> The reason for choosing this slight variation of list is that
> I thought of a list as [x1,x2,....,xn]
> and of a sequence as x1,x3,...,xn.
> So, in accordance with
> f(x1,x2,...,xn) we write f(a) where
> a is the sequence x1,x2,...,xn rather than the correspondinglist.

Ah, so you would also recommend to think of a "sequence of x1,...,xn" when
introducing n existentially quantified variables?

> There are operators to go back and forth from one to the other.
>
> I tried to see what exists of this on the openmath website, but that
> one seems down.

You mean the whole website (is up, as I can see), or the sequence1 CD?  Right,
I don't see the latter in the svn repository -- no idea what happened to it…

Cheers,

Christoph

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
Url : http://openmath.org/pipermail/om/attachments/20090509/92164ed2/attachment-0001.pgp 


More information about the Om mailing list