Re: P1788: Motion 44 NO votes
John Pryce wrote, while discussing Sun Fortran interval syntax:
> > There are three displayable forms of an external interval:
> > (a) [Xinf, Xsup] represents the mathematical interval [Xinf, Xsup]
> > (b) [X] represents the degenerate mathematical interval [X, X]
> ...
>
> (a) is a 1788 literal, e.g. the string
> [0.1,0.2]
> (b) is proposed as an addition to 1788 syntax, e.g. the string
> [0.1]
> equivalent to
> [0.1,0.1]
I don't think the equivalence cited for (b) is correct -- but then I don't
quite understand the cited Sun description, which explicitly mentions a
"degenerate mathematical interval", which I interpret to mean a singleton.
If 0.1 is not representable exactly, he 1788 [0.1,0.1] has non-zero width.
It would have zero width in Richard Fateman's interpretation, which depends
on the underlying format and would typically not contain the value 1/10 --
but I thought we had clarified that distinction a couple of times already.
See also my next post.
Michel.
---Sent: 2013-06-05 15:14:35 UTC