diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-03-10 12:47:09 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2016-03-10 12:47:09 +0000 |
| commit | d2996c60537d0fcb46e36598fb3b74c562f02cd0 (patch) | |
| tree | 5e33bb3b5bb9e38b9508730fdd528582a0deaef0 /doc | |
| parent | 70ec26512889d0a3fd5debcb60e6d14869d0a0b9 (diff) | |
| download | mpfr-d2996c60537d0fcb46e36598fb3b74c562f02cd0.tar.gz | |
[doc/sum.txt] Added a figure.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10220 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sum.txt | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/sum.txt b/doc/sum.txt index ad333c89d..67ac827a2 100644 --- a/doc/sum.txt +++ b/doc/sum.txt @@ -513,7 +513,12 @@ Let us note that our computation of the number of cancelled bits (variable cancel) was limited to the accumulator representation, while from a mathematical point of view, the binary expansion is unlimited and the bits of exponent less than minexp are regarded -as 0's. So, we need to check that the value of cancel matches this +as 0's: + + [--- accumulator ---]000000... + minexp ─┘└─ first non-represented bit = 0 + +So, we need to check that the computed value of cancel matches this mathematical point of view: * If the cancelled bits are 0's, then, since the truncated sum is not 0, there must be at least a bit 1 in the accumulator. |