| 释义 |
Ward's Primality TestLet be an Odd Integer, and assume there exists a Lucas Sequence withassociated Sylvester Cyclotomic Numbers such that there is an (with and Relatively Prime) for which Divides . Then is a Prime unlessit has one of the following two forms: - 1.
, with Prime and , or - 2.
, with and Prime. See also Lucas Sequence, Sylvester Cyclotomic Number References
Ribenboim, P. The Book of Prime Number Records, 2nd ed. New York: Springer-Verlag, pp. 69-70, 1989.
|