以下解说に入るかこの方法は判定の高速化を主眼としているため场合分けか多く理论的には多少烦雑なものになっている.そこてここては纸数の関系から代数学及ひ代数的整数论の初歩を仮定し,证明抜きて全体の方法论を述へることにする.详しい证明については原论文か,もしくは原论文より详しい证明を修士论文[4]に载せてあるのてそちらの方を参照していたたきたい.
§1 アルコリスムの概要
ますアルコリスムの概要を述へる.以下特に断わりのない限り
nを判定すへ
き自然数とする.
Stage1
1)次のような性质を持つ正整数 t'sを决定する.
(1. 1) tは小さな自然数てある.
(1. 2)
s>n1/2
(1. 3)¥/aEZ, (a