diff options
Diffstat (limited to 'doc/sum.txt')
| -rw-r--r-- | doc/sum.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/sum.txt b/doc/sum.txt index e4874ebd1..ef82c6a03 100644 --- a/doc/sum.txt +++ b/doc/sum.txt @@ -974,10 +974,10 @@ sgn to the corresponding sign. In short: └──────────┴─────┴─────┘ Now we seek to determine how the value will be rounded, more precisely, -what correction will be done to the significand that has been copied -just above. We currently have a significand, a trailing term t in the -accumulator such that 0 ≤ t < 1 ulp (nonnegative thanks to the two's -complement representation), and an error on the trailing term bounded by +what correction will be done to the significand that will be copied. +We currently have a significand, a trailing term t in the accumulator +such that 0 ≤ t < 1 ulp (nonnegative thanks to the two's complement +representation), and an error on the trailing term bounded by t' ≤ 2^(u−3) = 2^(−3) ulp in absolute value, so that the error ε on the significand satisfies −t' ≤ ε < 1 ulp + t'. Thus one has 4 correction cases, denoted by an integer value corr between −1 and 2, which depends |