Oprava Rabin-Millerova testu.

diff --git a/13-cisla/13-cisla.tex b/13-cisla/13-cisla.tex
index 9af8df07667c6132a6d92d62adbb79dc44c9a858..08652585705d5e825afd0577ccbe72e2092a3619 100644 (file)
--- a/13-cisla/13-cisla.tex
+++ b/13-cisla/13-cisla.tex
@@ -189,7 +189,9 @@ test prvo
 \:Zvolme náhodnì $a \in \{2, \dots, n-1\}$.
 \:Pokud $a^{n-1} \not\equiv_n 1$, je $n$ slo¾ené (a $a$ je {\I Fermatùv svìdìk}).
 \:Pro $i = 1, 2, \dots$ dokud $2^i$ dìlí $n - 1$:
 \:Zvolme náhodnì $a \in \{2, \dots, n-1\}$.
 \:Pokud $a^{n-1} \not\equiv_n 1$, je $n$ slo¾ené (a $a$ je {\I Fermatùv svìdìk}).
 \:Pro $i = 1, 2, \dots$ dokud $2^i$ dìlí $n - 1$:

-\::Pokud $a^{{n-1} \over {2^i}} \not\equiv_n 1$, je $n$ slo¾ené èíslo (a $a$ je {\I Riemannùv svìdìk}).
+  \::Spoèteme $t_i\equiv_n a^{(n-1)/ 2^i}$.
+  \::Pokud je $t_i\equiv_n -1$, je $n$ prvoèíslo.
+  \::Pokud je $t_i\not\equiv_n 1$, je $n$ slo¾ené (a $a$ je {\I Riemannùv svìdìk}).

 \:Jinak je $n$ prvoèíslo.
 \endalgo
 
 \:Jinak je $n$ prvoèíslo.
 \endalgo