20130919, 23:57  #23 
Sep 2002
Database er0rr
7623_{8} Posts 
I've got 'em covered. One more day to go on a 4770k at 4GHz.
Last fiddled with by paulunderwood on 20130920 at 00:08 
20130920, 22:10  #24 
Sep 2002
Database er0rr
F93_{16} Posts 
Code:
Running N+1 test using discriminant 2, base 1+sqrt(2) (2^13347311+1)/3 is Lucas PRP! (442900.4907s+0.0204s) Code:
Running N+1 test using discriminant 2, base 1+sqrt(2) (2^13372531+1)/3 is Lucas PRP! (443577.1559s+0.0284s) Last fiddled with by paulunderwood on 20130920 at 22:14 
20131017, 21:27  #25  
Sep 2002
Database er0rr
3^{2}×443 Posts 
Quote:
I have emailed Henri Lifchitz requesting that the annotations for the PRPs in his database lists all our PRP tests. Last fiddled with by paulunderwood on 20131017 at 21:37 

20131018, 00:58  #26  
Einyen
Dec 2003
Denmark
CB9_{16} Posts 
Quote:
(and yes I did spend a bit of time looking for an answer myself, before I get told to study myself :) But not too much since it is not that important) Last fiddled with by ATH on 20131018 at 01:02 

20131018, 01:33  #27 
Sep 2002
Database er0rr
3^{2}×443 Posts 
The modular reduction is done over "n" and "L^2+1". Here is a worked example for n=11 where L^2==1 (mod 11, L^2+1)
Code:
(L+2)^2==L^2+4*L+4==4*L+3 (L+2)^3==(4*L+3)*(L+2)==4*L^2+11*L+6==0*L+64==2 (L+2)^6==2^2==4 (L+2)^12==4^2==16==5 To cover all n, I take minimal x>=0 such that jacobiSymbol(x^24,n)==1, and check: Code:
(L+2)^(n+1)==5+2*x (mod n, L^2x*L+1) Last fiddled with by paulunderwood on 20131018 at 01:47 
Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Searching for Wagstaff PRP  T.Rex  Wagstaff PRP Search  191  20210630 17:22 
Hot tuna!  a p75 and a p79 by Sam Wagstaff!  Batalov  GMPECM  9  20120824 10:26 
Wagstaff Conjecture  davieddy  Miscellaneous Math  209  20110123 23:50 
Best settings to factor Wagstaff p = (2^n +1) / 1  diep  GMPECM  10  20100726 21:33 
30th Wagstaff prime  T.Rex  Math  0  20070904 07:10 