Talk:Lucas–Lehmer test

From Wikipedia, the free encyclopedia

  • Something is very wrong here. The article seems to use the hidden (and wrong) assumption that a number n is prime if a primitive root mod n can be located. AxelBoldt 15:05, 18 Jun 2004 (UTC)
Ooops, sorry. Please ignore the above and excuse my stupidity. AxelBoldt 15:27, 18 Jun 2004 (UTC)
  • Question: what is its complexity ?
  • I do not understand why you name this test as Lucas-Lehmer Test (LLT) ! The LLT was designed by Lucas for proving the primality of Mersenne and Fermat numbers, and it made use of "Lucas" Sequences at first, and then a complete proof was given by Lehmer and he provided one test instead of the two of Lucas (depending on q of 2^q-1). The LLT uses the famous S(i+1)=S(i)^2-2 suite. The test you are talking about is called "Lucas' test as strengthened by Kraitchik and Lehmer" by Chris. Caldwell (see: Caldwell Prime Site), and it is a VERY different test since it is based on Fermat's little theorem and not on "Lucas" sequences nor on the S(i+1)=S(i)^2-2 suite. So, maybe it would be better to name it: Lucas' test. Also, the description of the test is not perfectly correct, compared to Caldwell's version. I've fixed it. (2007/05/20)

[edit] Similarity to the Pratt's ceritificate

Am I the only man to notice that this test is VERY similar to the Pratt's certificate?! 89.176.110.147 (talk) 21:04, 16 March 2008 (UTC)