- From: Boris Zbarsky <bzbarsky@MIT.EDU>
- Date: Wed, 28 Sep 2011 16:23:45 -0400
- To: public-css-testsuite@w3.org
On 9/28/11 4:13 PM, Arron Eicholz wrote: > CSS 2.1 still doesn't cover 0 exactly. What is 0? The CSS 2.1 spec says its numbers are real numbers. Typical fairly equivalent definitions of 0 would then include: * The smallest element of the subset of the real numbers called the "Natura numbers". * The additive identity in the field structure of the real numbers. * "That thing defined in the first Peano axiom." and so forth. As in, this is the zero you learned about in grade school; nothing magic about it. > Since -0 is equivalent to 0 and is not a negative number that completely explains -0. It does not however explicitly explain what 0 or +0 is or isn't. We must therefore draw the conclusion that +0 is positive and 0 can be both positive and negative. I have no idea what you're talking about here. > We need explicit text explaining this How much more explicit than "these are real numbers" can you get? Or do you want the CSS spec to include some subset of the field axioms for the reals, enough to prove that +0 == 0 == -0 (using the usual definitions of unary + and - for the reals, which would likewise need to be included in the CSS spec)? We can explicitly say that -0 == 0 == +0, of course, as an informative note or something, if you think that makes things clearer for people who are unfamiliar with the term "real number".... -Boris
Received on Wednesday, 28 September 2011 20:24:23 UTC