summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2015-11-11 00:48:50 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2015-11-11 00:48:50 +0000
commit37699107610af76af6416e80a6d6e36e375119c6 (patch)
tree87ccaf427a3b9d53a6dd6bc7cea0f5811edc57a3 /doc
parent4966e2dee4e02754779547dea80ed9c8f6065341 (diff)
downloadmpfr-37699107610af76af6416e80a6d6e36e375119c6.tar.gz
[doc/sum.txt] Minor correction.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9740 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
-rw-r--r--doc/sum.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sum.txt b/doc/sum.txt
index 54bef2c68..3e7b6f94d 100644
--- a/doc/sum.txt
+++ b/doc/sum.txt
@@ -786,7 +786,7 @@ All this is done by considering two cases:
occurs on a machine number).
Now we seek to determine how the value will be rounded, more precisely,
-what correction will be done to the significand that have been copied
+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, and an error on the trailing term
bounded by some value t' in absolute value, so that the error e on the