Re: motioin43 amended

[Richard Fateman <fateman@xxxxxxxxxxxxxxxxx>]

On 4/24/2013 5:12 AM, Ralph Baker Kearfott wrote:
....
> I suggest using  (-inf and +inf) to emphasize 1788 will be based on 
> the reals
> and not the extended reals.  (Just my 2 cents worth.)
>
> Baker
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].  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.

RJF