From 53ef484ed89fef2e2706e3025b8876b775994f96 Mon Sep 17 00:00:00 2001 From: vlefevre Date: Wed, 9 Nov 2016 03:20:29 +0000 Subject: [doc/sum.txt] Correction. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10951 280ebfd0-de03-0410-8827-d642c229c3f4 --- doc/sum.txt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'doc/sum.txt') 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 -- cgit v1.2.1