Re: motioin43 amended
On 2013-04-24 07:24:24 -0700, Richard Fateman wrote:
> I am hoping that to the largest extent the use of the IEEE-754
> infinities will be transparent to this distinction. I am perhaps
> naively assuming this comes up only in circumstances in which one
> computes 1/oo or 1/(-oo) and gets not-quite zero. Allowing the use
> of -0 provides an opportunity to encode [-oo,0) as [-oo,-0].
From what I've heard, this was done by some implementations and this
was the reason why sqrt(-0) was chosen to return -0. However I wonder
whether introducing some particular non-closed intervals would be
useful. And it would make the standard more complex.
> Since there is no distinction between 0 and +0, there is no encoding
> for (0,oo]. As for whether endponts at +-oo are denoted with [] or
> (), --- I would be pleased if this turns out to be a matter of
> printing protocol, and nothing else.
I agree.
--
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)