diff options
Diffstat (limited to 'mfbt/FastBernoulliTrial.h')
| -rw-r--r-- | mfbt/FastBernoulliTrial.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mfbt/FastBernoulliTrial.h b/mfbt/FastBernoulliTrial.h index 7618a552a..c549bca67 100644 --- a/mfbt/FastBernoulliTrial.h +++ b/mfbt/FastBernoulliTrial.h @@ -250,7 +250,7 @@ class FastBernoulliTrial { * - The gaps below 1 are 2**-53, so that interval is (0, 1-2**-53]. * * - Because the floating-point gaps near 1 are wider than those near - * zero, there are many small positive doubles ?? such that 1-?? rounds to + * zero, there are many small positive doubles ε such that 1-ε rounds to * exactly 1. However, 2**-53 can be represented exactly. So * 1-mProbability is in [2**-53, 1]. * @@ -263,9 +263,9 @@ class FastBernoulliTrial { * * - How much of the range of mProbability does this cause us to ignore? * The only value for which log returns 0 is exactly 1; the slope of log - * at 1 is 1, so for small ?? such that 1 - ?? != 1, log(1 - ??) is -??, + * at 1 is 1, so for small ε such that 1 - ε != 1, log(1 - ε) is -ε, * never 0. The gaps near one are larger than the gaps near zero, so if - * 1 - ?? wasn't 1, then -?? is representable. So if log(1 - mProbability) + * 1 - ε wasn't 1, then -ε is representable. So if log(1 - mProbability) * isn't 0, then 1 - mProbability isn't 1, which means that mProbability * is at least 2**-53, as discussed earlier. This is a sampling * likelihood of roughly one in ten trillion, which is unlikely to be |