> I must say, then this definition was plain wrong mathematically and > conceptually :-).
I'm fairly sure that that *_selector were added specifically to mirror mathml's selector (although I didn't try to trace any old archived discussion). Whether it's mathematically wrong or right depends on whether you think lists and vectors are the same thing. I'd be inclined to say that the objects are the same, but that the operations were (mostly) different. (1,2,3) and (4,5,6) are both just elements of Z^3, if you think of them as vectors, then you have operations such as + resulting in (5,7,9) and if you think of them as lists you have operations such as concat resulting in (1,2,3,4,5,6) , but it's not clear (unless you are in a strongly typed system) that you need to distinguish the list (1,2,3) from the vector (1,2,3). > But If I am the only one complaining then I will probably relent, but I > still think that this conflation will be a very hard sell It's the status quo, so you don't need to "sell" this version, you just need to "sell" changes (and in this case, James and I are resisting your marketing:-). David ________________________________________________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Star. The service is powered by MessageLabs. ________________________________________________________________________ _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
