From 105bc829b581806a5d2eb26c0706ef0922f95b83 Mon Sep 17 00:00:00 2001 From: Shuhao Zhang Date: Wed, 30 Dec 2020 22:35:03 +0800 Subject: [PATCH] fix(quad-residue): fix format --- docs/math/quad-residue.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/math/quad-residue.md b/docs/math/quad-residue.md index cf1ae097..13c29e67 100644 --- a/docs/math/quad-residue.md +++ b/docs/math/quad-residue.md @@ -209,7 +209,7 @@ $$ 接下来设 $e_k$ 为模 $p$ 意义下的 $2^k$ 次单位根。容易发现 $e_{s-1} = a^{-1} \times x^{2}_{s-1}$ 。 -假设我们已经知道 $e_{s-k}, x_{s-k}$ ：因为 $e_{s-k}^{2^{s-k}} \equiv 1 \pmod p$ ，所以有 $\sqrt(e_{s-k}^{2^{s-k}}) \equiv \pm 1 \pmod p$ ，即 $e_{s-k}^{2^{s-k-1}} \equiv \pm 1 \pmod p$ ； +假设我们已经知道 $e_{s-k}, x_{s-k}$ ：因为 $e_{s-k}^{2^{s-k}} \equiv 1 \pmod p$ ，所以有 $\sqrt{(e_{s-k}^{2^{s-k}})} \equiv \pm 1 \pmod p$ ，即 $e_{s-k}^{2^{s-k-1}} \equiv \pm 1 \pmod p$ ； 现在的任务变成了计算 $e_{s-k}^{2^{s-k-1}} \pmod p$ 。这时候又可以分为两种情况： $e_{s-k}^{2^{s-k-1}} \equiv 1 \pmod p$ 和 $e_{s-k}^{2^{s-k-1}} \equiv -1 \pmod p$ 。 -- 2.11.0