mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Prime Gap Searches

Reply
 
Thread Tools
Old 2020-02-29, 09:56   #1
MJansen
 
Jan 2018

22×7 Posts
Default Prime gap records

Since Thomas R. Nicely passed away, there has been an attempt to keep track of the records. Graham and Rob have been working to get things going but so far no joy.

I will volunteer to keep track of the record prime gaps and post monthly (if possible) a text file with the record gaps as Thomas did (Gap, Merit,Discoverer). I will also try and post an allgap text file with a little more extensive data regarding the gap.

What if you have some improved prime gaps?
Send me a PM with a text file with the following data (comma separated):
26694,C??,25.376337,M.Jansen,29-2-2020,457,1015231*1087#/4830 - 19308

So I ask you to send respectively:
Prime gap (integer value),
Rating (C?? is standard for all gaps I receive, so use this to be safe. Thomas also used CFC/CNC/C?C/C?P. The first C stands for conventional, the second character: F=First Occurence, N = not a first occurence, ? = Unknown and the final character has C for Certified, P for Probable or ? for unknown. I cannot (at this moment) certify endpoints, nor can I check gaps over 3500 characters, so untill then all gaps will receive either C?? or C?P (if I can duplicate the gap) as rating),
Merit (in 6 digits, decimal sign is a dot [.]),
Discoverer (8 characters as you want to attribute yourself or a cooperative effort),
Date (the date you found the gap, if unknown, leave this empty, I will then use the day I received the gap),
Digits (the number of digits of the gapstart, which can be calculated as ([Gap]/[Merit])/ln(10) and then round up to the next integer value),
GapStart (a text field with the startvalue of the gap, in this case of the form: Multiplier*Primorial#/Divider - integer (note the spaces around the minus!)

Attached you will find the allgaps and recordgap files as per 29 februari 2020. Only Rob Smith's improvements from 2019 and my own (untill today) were added after the last file posted by Thomas on August 12th 2019. The all gap file has truncated Gapstart values, if needed I can provide the full gapstart values.

Hope this is clear and may you find a gap with merit over 50!

Kind regards
Michiel Jansen

PS can somebody make this thread sticky?
Attached Files
File Type: zip AllGaps_200229.zip (1.90 MB, 69 views)
File Type: zip GapRecords_200229.zip (697.4 KB, 62 views)

Last fiddled with by MJansen on 2020-02-29 at 10:25
MJansen is offline   Reply With Quote
Old 2020-03-01, 03:45   #2
SethTro
 
SethTro's Avatar
 
"Seth"
Apr 2019

163 Posts
Default

Why isn't the GitHub solution going to work?

I'm also willing to look into setting up a frontend where you submit the record line and it verifies and submits the record to GitHub.

Last fiddled with by SethTro on 2020-03-01 at 03:46
SethTro is offline   Reply With Quote
Old 2020-03-01, 08:11   #3
MJansen
 
Jan 2018

22×7 Posts
Default

Hi SethTro,

untill there is a structural and workable solution, I am volunteering to keep track of the record prime gaps and submit monthly two text files like Thomas did. That offer still stands. The data I collect can be used to start a website or a frontend verification tool (would be very nice actually!) and if possible incorporated in the development of the GitHub project.

Kind regards
Michiel Jansen
MJansen is offline   Reply With Quote
Old 2020-03-01, 22:18   #4
Bobby Jacobs
 
Bobby Jacobs's Avatar
 
May 2018

193 Posts
Default

It is great that you are continuing to keep track of the record prime gaps. Dr. Nicely is happy in Heaven.
Bobby Jacobs is offline   Reply With Quote
Old 2020-03-05, 07:17   #5
SethTro
 
SethTro's Avatar
 
"Seth"
Apr 2019

163 Posts
Default New Frontend

I made a new website to verify records and automatically upload them to github.

http://primegaps.cloudygo.com/
screenshots


I deleted all gaps 10,000 to 11,000 so they can be used to test the service.

The first page performs some validity checks (merit > existing, prime < 10,000 digits)

After you upload you'll see "1 Queued ... <data>"

If you click the Watch Queue you can see it testing (if it's a larger record) and the results of previous tests

After the record is verified it's immediately uploaded to the prime-gap-list github (or in this case my fork of it)

It's fairly fragile right now (e.g. if worker: dead on the status page it's broken till I kick the machine again), but I'll fix issues as they arise.

Chime in with what would be useful.
SethTro is offline   Reply With Quote
Old 2020-03-05, 15:10   #6
MJansen
 
Jan 2018

22·7 Posts
Default

Cool! Really appreciated, I tested gap 11002 and it seemd to check out fine.

Some questions:
a. what are the gap ends tested for, a PRP test of a certified prime test?
b. Would it be possibble to add a batch (file) at once?

c. And after entering the gap, how can you view the Github page, the pointers Graham gave were not simple enough for me. I never managed to see anything at GitHub (I am noob level regarding GitHub). Graham and Rob were working on simplified instructions, but I have never seen those.

Kind regards
Michiel Jansen

Quote:
Originally Posted by SethTro View Post
I made a new website to verify records and automatically upload them to github.

http://primegaps.cloudygo.com/
screenshots


I deleted all gaps 10,000 to 11,000 so they can be used to test the service.

The first page performs some validity checks (merit > existing, prime < 10,000 digits)

After you upload you'll see "1 Queued ... <data>"

If you click the Watch Queue you can see it testing (if it's a larger record) and the results of previous tests

After the record is verified it's immediately uploaded to the prime-gap-list github (or in this case my fork of it)

It's fairly fragile right now (e.g. if worker: dead on the status page it's broken till I kick the machine again), but I'll fix issues as they arise.

Chime in with what would be useful.
MJansen is offline   Reply With Quote
Old 2020-03-09, 03:20   #7
SethTro
 
SethTro's Avatar
 
"Seth"
Apr 2019

163 Posts
Default

Quote:
Originally Posted by MJansen View Post
Cool! Really appreciated, I tested gap 11002 and it seemd to check out fine.

Some questions:
a. what are the gap ends tested for, a PRP test of a certified prime test?
b. Would it be possibble to add a batch (file) at once?

c. And after entering the gap, how can you view the Github page, the pointers Graham gave were not simple enough for me. I never managed to see anything at GitHub (I am noob level regarding GitHub). Graham and Rob were working on simplified instructions, but I have never seen those.

Kind regards
Michiel Jansen
a. I only do PRP test for the endpoints (gmpy2.is_prime)
b. Yes I've add a textbox you can submit multiple records at a time, just add multiple lines of the form <GAP> <merit> <start>
c. While this is being tested the records only end up on my github: https://github.com/sethtroisi/prime-...commits/master

Last fiddled with by SethTro on 2020-03-09 at 03:20
SethTro is offline   Reply With Quote
Old 2020-03-09, 07:31   #8
MJansen
 
Jan 2018

22·7 Posts
Default

Cool again! Appreciated!

For validating the gaps a PRP should do for now.

I notice you have a slightly different format:
Gap Merit6 Mult * Primorial/#Div -StartInt To +EndInt

Two questions:
1. Do you need the To +EndInt part, since Gap -StartInt = EndInt?
2. No comma separated batch? Your example has many spaces included, do you need those?

But, if this is easiest for you then I will change my output scripts and make sure the gaps I submit will follow that format. So no biggie

Kind regards
Michiel


Quote:
Originally Posted by SethTro View Post
a. I only do PRP test for the endpoints (gmpy2.is_prime)
b. Yes I've add a textbox you can submit multiple records at a time, just add multiple lines of the form <GAP> <merit> <start>
c. While this is being tested the records only end up on my github: https://github.com/sethtroisi/prime-...commits/master
MJansen is offline   Reply With Quote
Old 2020-03-09, 07:36   #9
SethTro
 
SethTro's Avatar
 
"Seth"
Apr 2019

101000112 Posts
Default

Quote:
Originally Posted by MJansen View Post
Cool again! Appreciated!

For validating the gaps a PRP should do for now.

I notice you have a slightly different format:
Gap Merit6 Mult * Primorial/#Div -StartInt To +EndInt

Two questions:
1. Do you need the To +EndInt part, since Gap -StartInt = EndInt?
2. No comma separated batch? Your example has many spaces included, do you need those?

But, if this is easiest for you then I will change my output scripts and make sure the gaps I submit will follow that format. So no biggie

Kind regards
Michiel
1. No, the + endint is not required (only -startint), I added an example of the other (Pgsurround.pl) format in the text area.
2. No comma seperated batch at this time, if you give me an example of the format I'm happy to add it.

Last fiddled with by SethTro on 2020-03-09 at 07:44
SethTro is offline   Reply With Quote
Old 2020-03-09, 14:23   #10
MJansen
 
Jan 2018

22×7 Posts
Default

I added a batch of gaps (todays improvements):
58270 23.045642 1110749*2593#/210 - 3000
54954 21.599841 1097695*2617#/210 - 26798
120876 18.608307 11267*6581#/30030 - 53962
117832 18.090710 11257*6607#/30030 - 54328
100976 15.296037 11279*6701#/30030 - 36458
108822 16.484562 11291*6701#/30030 - 43482
120156 23.968652 11441*5099#/30030 - 71598

But your check program seems stuck in a loop:
7 Queued
58270, C?P, 23.046, M.Jansen, 2020-03-09, 1099, 1110749*2593#/210-3000
54954, C?P, 21.6, M.Jansen, 2020-03-09, 1105, 1097695*2617#/210-26798
120876, C?P, 18.608, M.Jansen, 2020-03-09, 2822, 11267*6581#/30030-53962
etc. ...

Queue
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
...
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 7: Currently Testing gap=(58270, 57276, 1532):
Queue 7: Currently Testing gap=(58270, 55786, 1471):
Queue 7: Currently Testing gap=(58270, 54196, 1409):
Queue 7: Currently Testing gap=(58270, 52636, 1348):
Queue 7: Currently Testing gap=(58270, 50764, 1289):
Queue 7: Currently Testing gap=(58270, 48970, 1227):
Queue 7: Currently Testing gap=(58270, 47026, 1162):

Or maybe I should be patient?

Kind regards
Michiel Jansen

Quote:
Originally Posted by SethTro View Post
1. No, the + endint is not required (only -startint), I added an example of the other (Pgsurround.pl) format in the text area.
2. No comma seperated batch at this time, if you give me an example of the format I'm happy to add it.
MJansen is offline   Reply With Quote
Old 2020-03-09, 18:17   #11
SethTro
 
SethTro's Avatar
 
"Seth"
Apr 2019

163 Posts
Default

Quote:
Originally Posted by MJansen View Post
I added a batch of gaps (todays improvements):
58270 23.045642 1110749*2593#/210 - 3000
54954 21.599841 1097695*2617#/210 - 26798
120876 18.608307 11267*6581#/30030 - 53962
117832 18.090710 11257*6607#/30030 - 54328
100976 15.296037 11279*6701#/30030 - 36458
108822 16.484562 11291*6701#/30030 - 43482
120156 23.968652 11441*5099#/30030 - 71598

But your check program seems stuck in a loop:
7 Queued
58270, C?P, 23.046, M.Jansen, 2020-03-09, 1099, 1110749*2593#/210-3000
54954, C?P, 21.6, M.Jansen, 2020-03-09, 1105, 1097695*2617#/210-26798
120876, C?P, 18.608, M.Jansen, 2020-03-09, 2822, 11267*6581#/30030-53962
etc. ...

Queue
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
...
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=None:
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 6: Currently Testing gap=(58270, 58258, 1569):
Queue 7: Currently Testing gap=(58270, 57276, 1532):
Queue 7: Currently Testing gap=(58270, 55786, 1471):
Queue 7: Currently Testing gap=(58270, 54196, 1409):
Queue 7: Currently Testing gap=(58270, 52636, 1348):
Queue 7: Currently Testing gap=(58270, 50764, 1289):
Queue 7: Currently Testing gap=(58270, 48970, 1227):
Queue 7: Currently Testing gap=(58270, 47026, 1162):

Or maybe I should be patient?

Kind regards
Michiel Jansen
This was my fault, should be fixed now

Last fiddled with by SethTro on 2020-03-09 at 19:02
SethTro is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
records for primes 3.14159 Information & Answers 8 2018-12-09 00:08
Prime counting function records D. B. Staple Computer Science & Computational Number Theory 43 2016-12-25 22:15
Records for complete factorisation Brian-E Math 25 2009-12-16 21:40
gmp-ecm records page question yqiang GMP-ECM 6 2007-05-18 12:23
Records in January wblipp ElevenSmooth 10 2004-03-22 01:26

All times are UTC. The time now is 11:39.

Sat Sep 26 11:39:40 UTC 2020 up 16 days, 8:50, 0 users, load averages: 1.25, 1.41, 1.42

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

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.