W3C home > Mailing lists > Public > www-math@w3.org > March 2000

Re: recap: MathML2 2nd WD (long)

From: David Carlisle <davidc@nag.co.uk>
Date: Fri, 31 Mar 2000 19:14:42 GMT
Message-Id: <200003311914.TAA24592@nag.co.uk>
To: strotman@nu.cs.fsu.edu
CC: www-math@w3.org

Andreas,

I'll just answer the easier questions, I am sure one of my colleagues
will step in later for the harder ones:-)


> -- 4.4.2.7     Shouldn't we have the basic sets in MathML (N,Z,Q,R,C)???
> As it stands, the default rendering for examples as given in the
> recommendation is incorrect since nothing allows the renderer to infer
> that R stands for the reals. 
> 

They are added this time, in  4.4.12 

http://www.w3.org/TR/2000/WD-MathML2-20000328/chapter4.html#contm:reals

but the example in 4.4.2.7 does need updating ti use <reals/> it is
true, thanks.

> -- 4.4.6.1  It's useful to mix condition elements and arguments in sets,
> as in {x\in N | x < 5}  where x\in N is best seen as a <condition> and  
> x<5 best seen as an <apply> argument.   (The same is true for lists, 4.4.6.2.)
> 

actually it's useful to _force_ that your variable ranges over an
existing set (N here) as that way you avoid Russell's Paradox, but
MathML doesn't force this (in general it doesn't prevent the
construction of meaningless or false expressions)
so in MML it does appear that one would write this as
 {x |x\in N and x < 5}
which probably isn't to bad, as syntaxes go.
(There was an extension/change to the set syntax discussed earlier on
this list to allow things like  {x^2 |x\in N and x < 5}
that change didn't get described this draft but (I think) there was
broad agreement that something along those lines could be added.

David
Received on Friday, 31 March 2000 13:15:33 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:49 GMT