mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   FactorDB (https://www.mersenneforum.org/forumdisplay.php?f=94)
-   -   How to automate the "P-1" proof? (https://www.mersenneforum.org/showthread.php?t=20422)

wblipp 2015-08-17 23:50

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?

RichD 2015-08-18 00:00

[QUOTE=wblipp;408190]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?[/QUOTE]

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.


All times are UTC. The time now is 12:34.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.