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 2015-04-25 16:11

[QUOTE=Jayder;400766]I'd like to try this one if no one else has started on it.[/QUOTE]

Just post here to say you're reserving it, then start work on it.

Chris

Jayder 2015-04-25 18:39

I've started on it but it will take a while for my computer.

axn 2015-04-27 08:08

Proving [url]http://www.factordb.com/index.php?id=1100000000776692927[/url] (PRP2295) will enable N-1 proof of [url]http://www.factordb.com/index.php?id=1100000000629141624[/url] (1841^1841-1840)

Mini-Geek 2015-04-27 12:33

[QUOTE=axn;401004]Proving [url]http://www.factordb.com/index.php?id=1100000000776692927[/url] (PRP2295) will enable N-1 proof of [url]http://www.factordb.com/index.php?id=1100000000629141624[/url] (1841^1841-1840)[/QUOTE]

I've started on it. Shouldn't take more than a couple of hours.

axn 2015-04-27 14:40

[QUOTE=Mini-Geek;401010]I've started on it. Shouldn't take more than a couple of hours.[/QUOTE]

Cool. And proven :smile:

Batalov 2015-05-04 17:44

[URL="http://factordb.com/index.php?id=1100000000777031801&open=prime"](20060^8377-1)/20059[/URL] proven after proving [URL="http://factordb.com/index.php?id=1100000000777031810&open=prime"]the helper Phi()[/URL].

chris2be8 2015-05-05 09:27

Proving [url]http://factordb.com/index.php?id=1100000000741122407[/url] and [url]http://factordb.com/index.php?id=1100000000777430525[/url] (both 3267 digits) will enable a N-1 proof for [url]http://factordb.com/index.php?id=1100000000213113194[/url] 2^63583-7 (19141 digits).

The first PRP has been in factordb since January, the second was added when I added the algebraic factors of 2^63583-7 so I can't be sure it's prime.

Chris

axn 2015-05-05 10:05

[url]http://www.factordb.com/index.php?id=1100000000670082934[/url] (141^1471+1)/142-1 can be N-1 proved if a PRP688 ([url]http://www.factordb.com/index.php?id=1100000000777431067[/url]) can be proved.

axn 2015-05-05 10:07

[QUOTE=chris2be8;401732]The first PRP has been in factordb since January, the second was added when I added the algebraic factors of 2^63583-7 so I can't be sure it's prime.
[/QUOTE]

It isn't. Factordb has a PRP check option (under the primality section) where you can test with different bases.

EDIT:- Actually, neither of them are.

chris2be8 2015-05-05 15:59

[QUOTE=axn;401738]It isn't. Factordb has a PRP check option (under the primality section) where you can test with different bases.

[/QUOTE]

I'll have to try that next time I find an interesting PRP. About how long would it take for a number this size and how many bases do I need to try to be reasonably sure it's prime?

Chris

lorgix 2015-05-05 18:17

[QUOTE=chris2be8;401756]I'll have to try that next time I find an interesting PRP. About how long would it take for a number this size and how many bases do I need to try to be reasonably sure it's prime?

Chris[/QUOTE]
Less than a minute, I think. Something in that area.
Define "reasonably".


All times are UTC. The time now is 21:04.

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