Re: motioin43 amended
On 2013-04-24 08:54:49 -0600, Kreinovich, Vladik wrote:
> To me (and I guess to Baker), the notation [-inf, +inf] implies that
> we use extended reals and include -inf and +inf as explicit
> elements, just like [0,1] means that the interval explicitly
> includes 0 and 1.
No, it doesn't imply that extended reals are used. And in a Level 2
context, it makes the notation more consistent.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)