summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Zimmermann <Paul.Zimmermann@inria.fr>2017-12-12 10:15:41 +0100
committerPaul Zimmermann <Paul.Zimmermann@inria.fr>2017-12-12 10:15:41 +0100
commitbeab78499d26641a4af405b99d6f83534df38d16 (patch)
tree71d176daf9799a10f6e589ac2be8d3c4de9642a5
parent751a71000079c8525b0509a2a5d68f04646a9b45 (diff)
parent02d1aeb98129078e1537ad8c5160ce91ebd934ce (diff)
downloadmpc-git-beab78499d26641a4af405b99d6f83534df38d16.tar.gz
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/mpc/mpc
-rw-r--r--doc/algorithms.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/algorithms.tex b/doc/algorithms.tex
index 0dc83bf..da6aa33 100644
--- a/doc/algorithms.tex
+++ b/doc/algorithms.tex
@@ -1937,7 +1937,7 @@ Its absolute error is bounded as follows:
\end {align*}
The factor $|r \appro {\pi} / \appro {t}|$ is larger than~$1$ only if
rounding down has occurred for $|\appro {t}|$ by at most \ulp {0.5};
-with $p \geq 8$, the worst case bound is then $128.5/128$,
+with $p \geq 7$, the worst case bound is then $64.5/64$,
and the absolute error is bounded by $1.15 \, \Ulp (\appro {t})$.
The result is now obtained as