| |
| | Baillie-PSW Primality Test |
 | | Selfridge specified the following parameters for the generation of the Lucas sequences: P = 1 and Q = (1 - D)/4, where D is the first integer in the sequence {5, -7, 9, -11, 13, -15,...} for which GCD(D,N)=1 and the Jacobi symbol (DN) = -1. |
 | | Code is also included for the "extra strong" Lucas test, as developed by Zhaiyu Mo and James P. Jones (circa 1997), and described by Jon Grantham (1998). |
 | | However, I have not employed the extra strong Lucas test in the Baillie-PSW test, as the Lucas sequence parameters are inconsistent with those of the Lucas-Selfridge tests; consequently, the extra strong Lucas pseudoprimes were not found to be disjoint from those of the Miller-Rabin test with base 2 (or any other single Miller-Rabin base employed). |
| www.trnicely.net /misc/bpsw.html (924 words) |
|