20121213, 13:49  #34 
Jun 2003
1255_{16} Posts 
The big blue text (and the exclamation marks) doesn't inspire much confidence, I'll admit. However, if it does pan out, i suspect it'll be a BIG result.
What are your plans for getting this proof verified and published? Last fiddled with by axn on 20121213 at 13:50 Reason: our>your 
20121220, 03:33  #35 
Dec 2012
China
11_{10} Posts 
see my complete proof on mathoverflow
http://mathoverflow.net/questions/11.../115262#115262 
20130301, 17:26  #36  
"Nancy"
Aug 2002
Alexandria
2,467 Posts 
Quote:
Last fiddled with by akruppa on 20130301 at 20:19 Reason: [x] 

20130304, 06:25  #37 
Sep 2002
Database er0rr
5·7·97 Posts 
The time taken to do one Fermat Little Theorem test is "1 selfridge" by definition. A lucas test with Q=1 takes 2 selfridge. Exponentiation of (a+i*b) over x^2+1 can be achieved in 2 selfridge, by noting that the squaring operation requires two multiplications: (AB)*(A+B) and 2*A*B*i, where A and B are intermediate values. During exponentiation, multiplication by the base is cheap. A base (a^2+b^2) Fermat test is implicit. So rather than doing Grantham's Frobenius test, which is 1+2 selfridge, one could do a base 2prp test and then exponentiation of a+b*i, a total of 1+2 selfridge but with an extra Fermat test done for free.
Please see http://www.mersenneforum.org/showpos...7&postcount=44 for more detail. (A better version of my paper is available in the file section of the Yahoo primenumbers group.) Last fiddled with by paulunderwood on 20130304 at 06:38 
Thread Tools  
Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
A Theoretical (vs. Proficient/Practical) Deterministic Primality Test  a1call  Miscellaneous Math  194  20180319 05:54 
Primality testing nonMersennes  lukerichards  Software  8  20180124 22:30 
Testing an expression for primality  1260  Software  17  20150828 01:35 
Testing Mersenne cofactors for primality?  CRGreathouse  Computer Science & Computational Number Theory  18  20130608 19:12 
a new primality testing method  jasong  Math  1  20071106 21:46 