From: Martin Mares <mj@ucw.cz>
Date: Mon, 23 Jun 2008 12:16:39 +0000 (+0200)
Subject: Oprava Rabin-Millerova testu.
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=85160f79585d9da90df8be653d3d603580697134;p=ads2.git

Oprava Rabin-Millerova testu.
---

diff --git a/13-cisla/13-cisla.tex b/13-cisla/13-cisla.tex
index 9af8df0..0865258 100644
--- 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$:
-\::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