sMod

Mathlib.NumberTheory.LucasLehmer

URI: https://scilib.ai/kg/mathlib#LucasLehmer.sMod

← MathLib Explorer

English

Define sMod(p,i) by sMod(p,0) = 4 and sMod(p,i+1) = (sMod(p,i))^2 − 2 modulo (2^p − 1).

Русский

Определим sMod(p,i) по модулю (2^p−1): sMod(p,0)=4 и sMod(p,i+1)=sMod(p,i)^2−2 (mod 2^p−1).

LaTeX

$$sMod(p,0)=4,\; sMod(p,i+1)=sMod(p,i)^2-2 \pmod{2^p-1}$$

Lean4

/-- The recurrence `s (i+1) = ((s i)^2 - 2) % (2^p - 1)` in `ℤ`. -/
def sMod (p : ℕ) : ℕ → ℤ
  | 0 => 4 % (2 ^ p - 1)
  | i + 1 => (sMod p i ^ 2 - 2) % (2 ^ p - 1)

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru