mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Lounge (https://www.mersenneforum.org/forumdisplay.php?f=7)
-   -   PRP in A138957 (https://www.mersenneforum.org/showthread.php?t=21188)

J F 2016-04-06 19:05

PRP in A138957
 
There were some posts about [url]https://oeis.org/A007908[/url], so in case
someone is interested in [url]https://oeis.org/A138957[/url] too: I got the
7816th term PRP, 30157 digits. It would be nice if someone could doublecheck.
I went up to 39999 without another hit, so no other PRPs up to 70K-th term.

paulunderwood 2016-04-06 19:49

Attach the decimal expansion in a file and I will check it out for you. :smile:

J F 2016-04-06 20:15

1 Attachment(s)
[QUOTE=paulunderwood;430891]Attach the decimal expansion in a file and I will check it out for you. :smile:[/QUOTE]
In case I messed up somewhere, does testing my file
qualify as valid doublecheck? :smile:

paulunderwood 2016-04-06 20:29

For each a in {0,3,4,5,6,7} jacobiSymbol(a^2-4,n)==-1 and (x+a)^(n+1)==5+2*a (mod n, x^2-a*x+1)., which implies Euler-PRP tests base 5+2*a and associated Lucas PRP tests.

Congrats on something that is almost certainly prime, modulo an ECPP check.

Maybe you missed a PRP .... :wink:

J F 2016-04-06 20:56

What I meant is, yes, the number in the file is a PRP, but is it the 'right' number?
For instance, bug in my string generation. A doublechecker should use its own.

paulunderwood 2016-04-06 21:10

[CODE]? v=[];for(n=1,7816,d=digits(n);forstep(k=#d,1,-1,v=concat(v,d[k])));JF=read("../../Downloads/7816-30157digits.txt");digits(JF)==v
1
[/CODE]

:tu:

J F 2016-04-06 21:22

Thanks!

paulunderwood 2016-04-06 23:02

[QUOTE=paulunderwood;430903](x+a)^(n+1)==5+2*a (mod n, x^2-a*x+1)., [/QUOTE]

Should have said: (x+2)^(n+1)==5+2*a (mod n, x^2-a*x+1)

a1call 2016-04-07 03:16

[QUOTE=paulunderwood;430903]
Congrats on something that is almost certainly prime, modulo an ECPP check.

[/QUOTE]

Are large PRPs of any value/interest?
If so what sizes would be interesting?

Thank you in advance.

BTW that thread seems to be here:
[url]http://www.mersenneforum.org/showthread.php?p=415695#post415695[/url]

CRGreathouse 2016-04-07 19:19

[QUOTE=a1call;430926]Are large PRPs of any value/interest?
If so what sizes would be interesting?[/QUOTE]

No particular value afaik, but if they're larger than 41169 digits they are large enough to make Henri Lifchitz & Renaud Lifchitz's [url=http://www.primenumbers.net/prptop/prptop.php]PRP Records[/url] page.

paulunderwood 2016-04-07 19:22

[url]http://www.primenumbers.net/prptop/prptop.php?page=40#haut[/url]

You can enter "page" beyond "40", so that the actual lower limit is now 20k digits for submissions. :smile:


All times are UTC. The time now is 22:14.

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