How to automate the "P-1" proof?

wblipp · 2015-08-17, 23:50

I've got 500 or more primes 300-500 digits for which I can load algebraic factors quickly using the Report Factors page. Most will only need the "P-1" button pressed to get them proven in factordb. It's boring to manually click so many - does anybody know a better method?

RichD · 2015-08-18, 00:00

Quote:

Originally Posted by wblipp

I've got 500 or more primes 300-500 digits for which I can load algebraic factors quickly using the Report Factors page. Most will only need the "P-1" button pressed to get them proven in factordb. It's boring to manually click so many - does anybody know a better method?

I seem to recall I had a program to check for N-1 or N+1 and click the "Proof" button. Perhaps I can find it and modify it to serve your purpose. It does require "wget" or I can run it from here if I can get it working.

Dubslow · 2015-08-18, 03:18

I can almost certainly whip up a small Python script to do this for you (I already have some experience interacting with the FDB programmatically). The catch is that I'm away until Thursday, and so can't help until then.

RichD · 2015-08-18, 13:16

Good idea.

I don't know PERL or Python which seems like the simpler solution.
Plus, you may not need a non-standard external library.

2015-08-17, 23:50	#1
wblipp "William" May 2003 New Haven 100100111110₂ Posts	How to automate the "P-1" proof? I've got 500 or more primes 300-500 digits for which I can load algebraic factors quickly using the Report Factors page. Most will only need the "P-1" button pressed to get them proven in factordb. It's boring to manually click so many - does anybody know a better method?

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
Aouessare-El Haddouchi-Essaaidi "test": "if Mp has no factor, it is prime!"	wildrabbitt	Miscellaneous Math	11	2015-03-06 08:17
Kladner's "Garo-proof" Dylan thread	davieddy	Lounge	2	2012-01-09 04:56
Another "Proof" that 0 = 1	jinydu	Lounge	4	2007-07-24 10:07
Can Anyone Tell Me Where this "Proof" Breaks Down?	jinydu	Math	6	2004-12-04 02:33
Would Minimizing "iterations between results file" may reveal "is not prime" earlier?	nitai1999	Software	7	2004-08-26 18:12

2015-08-18, 03:18	#3
Dubslow Basketry That Evening! "Bunslow the Bold" Jun 2011 40<A<43 -89<O<-88 3·29·83 Posts	I can almost certainly whip up a small Python script to do this for you (I already have some experience interacting with the FDB programmatically). The catch is that I'm away until Thursday, and so can't help until then.

2015-08-18, 13:16	#4
RichD Sep 2008 Kansas 2⁴·211 Posts	Good idea. I don't know PERL or Python which seems like the simpler solution. Plus, you may not need a non-standard external library.