mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   FactorDB (https://www.mersenneforum.org/forumdisplay.php?f=94)
-   -   Share N+/-1 Primality Proofs (https://www.mersenneforum.org/showthread.php?t=16209)

chris2be8 2016-05-06 16:35

And another, proving [url]http://factorization.ath.cx/index.php?id=1100000000838212513[/url] (389 digits) should enable a N-1 proof for (21467^239-1)/21466 [url]http://factorization.ath.cx/index.php?id=1100000000828692633[/url] (1031 digits).

Chris

chris2be8 2016-05-06 18:05

And another, proving [url]http://factorization.ath.cx/index.php?id=1100000000838217320[/url] (588 digits) will enable a N-1 proof of (13859^293-1)/13858 [url]http://factorization.ath.cx/index.php?id=1100000000835633881[/url] (1210 digits). It appeared after I added the algebraic factors of (13859^293-1)/13858-1.

Chris

chris2be8 2016-05-06 18:10

Yet again, proving [url]http://factorization.ath.cx/index.php?id=1100000000838217452[/url] (600 digits) will enable a N-1 proof for (15749^293-1)/15748 [url]http://factorization.ath.cx/index.php?id=1100000000835634053[/url] 1226 digits. Same as the last one.

Chris

chris2be8 2016-06-03 16:29

Proving [URL]http://factordb.com/index.php?id=1100000000840065507[/URL] (475 digits) will enable a N+1 proof that (10^249+2049)*(10^249+2048)+1 [URL]http://factordb.com/index.php?id=1100000000839451026[/URL] (499 digits) is prime.

Chris

PS. Proving ((10^249+3360)*(10^249+3359)+2)/492158 [url]http://factordb.com/index.php?id=1100000000839452482[/url] (493 digits) will enable a N+1 proof that (10^249+3360)*(10^249+3359)+1 [url]http://factordb.com/index.php?id=1100000000839452258[/url] (499 digits) is prime.

chris2be8 2016-07-21 19:18

Proving (451^541-541^451)/187563763576710 [url]http://factordb.com/index.php?id=1100000000842957564[/url] (1422 digits) will enable a N-1 proof that (451^541-541^451)*2+1 [url]http://factordb.com/index.php?id=1100000000820140578[/url] (1437 digits) is prime.

Chris

chris2be8 2016-10-28 11:42

Proving (684^431+1)/2740371955 [url]http://factordb.com/index.php?id=1100000000872469596[/url] (1213 digits) prime will enable a N-1 proof that (684^863+1)/685 [url]http://factordb.com/index.php?id=1100000000872469699[/url] (2444 digits) is prime.

Chris

chris2be8 2016-11-25 18:19

Another, proving ((3^1015+10^150)/(3^203+10^30)+1)/73731780242 [url]http://factordb.com/index.php?id=1100000000884772922[/url] (377 digits) will enable a N+1 proof that (3^1015+10^150)/(3^203+10^30) [url]http://factordb.com/index.php?id=1100000000884772837[/url] (388 digits) is prime.

((3^1015+10^150)/(3^203+10^30)+1)/73731780242 appears to have been added to factordb when I asked for primality information on (3^1015+10^150)/(3^203+10^30).

Chris

chris2be8 2016-12-24 21:01

After adding algebraic factors to (844^647+1)/845-1 I found that proving [url]http://factordb.com/index.php?id=1100000000889589833[/url] prime will enable a N-1 proof that [url]http://factordb.com/index.php?id=1100000000889446338[/url] (844^647+1)/845 is prime.

Chris

schickel 2016-12-25 01:25

[QUOTE=chris2be8;449881]After adding algebraic factors to (844^647+1)/845-1 I found that proving [url]http://factordb.com/index.php?id=1100000000889589833[/url] prime will enable a N-1 proof that [url]http://factordb.com/index.php?id=1100000000889446338[/url] (844^647+1)/845 is prime.

Chris[/QUOTE]Ooops...I proved the wrong one! :blush:

chris2be8 2017-06-14 16:00

Back here again, proving (1217^109+4)/19504986581519868149481 [url]http://factordb.com/index.php?id=1100000000936916098[/url] will enable a N-1 proof that (1217^218*2-1)/31 [url]http://factordb.com/index.php?id=1100000000936596506[/url] is prime.

Chris

chris2be8 2017-08-07 15:32

Someone has added a load of PRPs like (117124925581^29-1)/117124925580 to factordb. So I've adapted my script for adding missing algebraic factors to add algebraic factors for N-1 then prove such PRPs by N-1 if possible.

It takes about 10 seconds per PRP (varying with how fast factordb responds). So I should have cleared out most of them in a few hours. It misses some where the algebraic factors need proving prime (if there's a backlog of numbers to prove prime) or factoring (if below 70 digits). But a second run should catch them.

That should cut down the number of PRPs needing certificates generating.

Chris


All times are UTC. The time now is 06:20.

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