>>401
a,b,p,nの定義ってこれで良いの?
あと、
>p=1はmodの演算が全て正しくなるので矛盾が生じません
とは、p=1 ≡1 (mod 4)だから矛盾が生じないという事?

205 名前: ◆RK0hxWxT6Q [sage] 投稿日:2019/05/20(月) 19:53:55.49 ID:ykHn2uUP [9/13]

>>203
a=Π[k=1,r](pk^qk+…+1)
b=Π[k=1,r]pk^qk
p≡1 (mod 4)
n≡1 (mod 4)
を仮定します。