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
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
