 mersenneforum.org (https://www.mersenneforum.org/index.php)
-   No Prime Left Behind (https://www.mersenneforum.org/forumdisplay.php?f=82)
-   -   Continuity of Primes (https://www.mersenneforum.org/showthread.php?t=15857)

 LiquidNitrogen 2011-07-26 23:54

Continuity of Primes

With all of the various ways to generate primes (Riesel, Proth, Mersenne etc) there seems to be quite a few "gaps" that must occur in the "plain old" primes that can't be expressed with an elegant, concise formula that lends itself to fast primality proving.

Is there any such list of "known continuous primes" where all the primes < P have been identified?

That would be the real "No Primes Left Behind" effort I would think.

 Mr. P-1 2011-07-27 01:53

[url]http://primes.utm.edu/notes/faq/LongestList.html[/url]

 henryzz 2011-07-27 07:17

Primegrid had a subproject that found contiuous primes. They ended up with with many dvds of data.

 ATH 2011-07-27 11:12

Here you can find the first 10[SUP]12[/SUP] primes up to 3*10[SUP]13[/SUP]:
[URL="http://primes.utm.edu/nthprime/"]http://primes.utm.edu/nthprime/[/URL]

 LiquidNitrogen 2011-07-29 23:19

[QUOTE=Mr. P-1;267641][URL]http://primes.utm.edu/notes/faq/LongestList.html[/URL][/QUOTE]

So I guess that means when we "discover" primes of the various forms, they are much larger than the primes that are known to exist in continuity, and therefore they are "real discoveries," in a manner of speaking.

If that is true, each prime is probably a unique find.

Correct?

 Mr. P-1 2011-07-30 15:07

[QUOTE=LiquidNitrogen;267910]So I guess that means when we "discover" primes of the various forms, they are much larger than the primes that are known to exist in continuity, and therefore they are "real discoveries," in a manner of speaking.[/QUOTE]

According to the article: "At the time I last updated this page, these projects had found (but not stored) all the prime up to 10^18, but not yet to 10^19."

If you expended 100 times as much effort, you might get up to 10^21. If you devoted the entire world's computer resources to the project, you could probably push it well past 10^30.

You'd never, ever, reach this 100 digit prime:

3664461208681099176204078925954510073897620111029087350504719136242910190767917650858670935504633223

[QUOTE]If that is true, each prime is probably a unique find.[/QUOTE]

I don't know what you mean by "unique" in this context. Here's the next one:

3664461208681099176204078925954510073897620111029087350504719136242910190767917650858670935504633509

Both took a fraction of a second to generate on my computer. Neither, in all probability, has ever been "discovered" before.

The primes that are considered "discoveries" are the ones that take significant resources to find

I suggest you read [url=http://primes.utm.edu/prove/index.html]this primer on primality testing[/url]. You'll have a much better understanding of what you see in this forum.

 LiquidNitrogen 2011-08-03 03:20

[QUOTE=Mr. P-1;267962]
If you expended 100 times as much effort, you might get up to 10^21. If you devoted the entire world's computer resources to the project, you could probably push it well past 10^30.

You'd never, ever, reach this 100 digit prime:
[/QUOTE]

That makes the point crystal clear. I haven't seen any online resources offering such a concise explanation.

[QUOTE=Mr. P-1;267962]
I don't know what you mean by "unique" in this context.
[/QUOTE]

The first answer you gave answers this one. With such a huge gap in the prime record, there is no way any of the primes we generate here are a part of that continuous list. I thought maybe there were people somewhere who would test the neighborhood of announced primes for primality as well, perhaps "finding" some that might have been shown later.

Now I see that was a stupid assumption!

So each prime that is found is, essentially, a new find. I'd call that a discovery. The large primes you mentioned I would call a "monumental undertaking" as well.

[QUOTE=Mr. P-1;267962]
I suggest you read [URL="http://primes.utm.edu/prove/index.html"]this primer on primality testing[/URL]. You'll have a much better understanding of what you see in this forum.[/QUOTE]

Primer on primes. Nice!

 LiquidNitrogen 2011-08-03 04:38

[QUOTE=Mr. P-1;267962]I suggest you read [URL="http://primes.utm.edu/prove/index.html"]this primer on primality testing[/URL]. [/QUOTE]

I did find one typo on [URL]http://primes.utm.edu/prove/prove1.html[/URL]

In 2002 a long standing question was answered: can integers be [B]prove [/B]prime

I think this should be changed to the word [B]proven[/B] there.

And now I actually know how to do the Lucas-Lehmer test, although those s(k) numbers grow too big for Excel after s(4). At least Excel can prove 2^5 - 1 is prime using Lucas-Lehmer :smile:

 CRGreathouse 2011-08-03 14:49

[QUOTE=LiquidNitrogen;268164]And now I actually know how to do the Lucas-Lehmer test, although those s(k) numbers grow too big for Excel after s(4). At least Excel can prove 2^5 - 1 is prime using Lucas-Lehmer :smile:[/QUOTE]

If you reduce mod the Mersenne number at each step, you can prove 2^19 - 1 prime in Excel.

 LiquidNitrogen 2011-08-03 15:11

[QUOTE=CRGreathouse;268184]If you reduce mod the Mersenne number at each step, you can prove 2^19 - 1 prime in Excel.[/QUOTE]

I'm not sure I follow. Here is what I did.

1. Proving p = 2^n - 1 is prime for n = 5, p = 31.
2. S(0) = 4 {defined}
3. Need to generate up to S(n-2) where S(x+1) = [S(x) * S(x)] - 2

3a. S(1) = 4^2 - 2 = 14
3b. S(2) = 14^2 - 2 = 194
3c. S(3) = 194^2 - 2 = 37634

4. Test S(n-2)/p = S(3)/p = 37634/31. If remainder is 0, p is prime.

37634/31 = 1214.0 so p is prime.

What would this involve doing it the way you mentioned?

 retina 2011-08-03 15:24

[QUOTE=LiquidNitrogen;268186]I'm not sure I follow. Here is what I did.

1. Proving p = 2^n - 1 is prime for n = 5, p = 31.
2. S(0) = 4 {defined}
3. Need to generate up to S(n-2) where S(x+1) = [S(x) * S(x)] - 2

3a. S(1) = 4^2 - 2 = 14
3b. S(2) = 14^2 - 2 = 194
3c. S(3) = 194^2 - 2 = 37634

4. Test S(n-2)/p = S(3)/p = 37634/31. If remainder is 0, p is prime.

37634/31 = 1214.0 so p is prime.

What would this involve doing it the way you mentioned?[/QUOTE]3. Need to generate up to S(n-2) where S(x+1) = {[S(x) * S(x)] - 2} mod p

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