Changes between Initial Version and Version 1 of Ticket #23061, comment 69


Ignore:
Timestamp:
Oct 25, 2018, 3:21:41 AM (12 months ago)
Author:
riastradh
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23061, comment 69

    initial v1  
    1 If you take the uniform distribution on [0,1] or (0,1), i.e. the Lebesgue measure, and round it to the nearest floating-point number, the distribution on the result is the natural notion of the uniform distribution on floating-point numbers in [0,1].
     1If you take the uniform distribution on ^^[0,1^^] or (0,1), i.e. the Lebesgue measure, and round it to the nearest floating-point number, the distribution on the result is the natural notion of the uniform distribution on floating-point numbers in ^^[0,1^^].
    22
    33Note that even if you round a sample from the open interval (0,1) of real numbers, the result might be rounded to 0 or 1, if it is in (0, 2^emin - p - 1^] or [1 - eps/4, 1):