rootofunity: Tiny modification in the documentation.

* doc/algorithms.tex: Propagate the lower bound of 7 on prec to its second
use.

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