|
2020-02-29, 09:56
|
#1 |
|
Jan 2018
2·5·11 Posts |
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? Last fiddled with by MJansen on 2020-02-29 at 10:25 |
|
|
|
2020-03-01, 03:45
|
#2 |
"Seth"
Apr 2019
2·5·72 Posts |
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 |
|
|
|
|
2020-03-01, 08:11
|
#3 |
|
Jan 2018
2·5·11 Posts |
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 |
|
|
|
|
2020-03-01, 22:18
|
#4 |
May 2018
4358 Posts |
It is great that you are continuing to keep track of the record prime gaps. Dr. Nicely is happy in Heaven.
|
|
|
|
|
2020-03-05, 07:17
|
#5 |
|
"Seth"
Apr 2019
2·5·72 Posts |
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. |
|
|
|
|
2020-03-05, 15:10
|
#6 | |
|
Jan 2018
2·5·11 Posts |
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:
|
|
|
|
|
|
2020-03-09, 03:20
|
#7 | |
|
"Seth"
Apr 2019
2·5·72 Posts |
Quote:
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 |
|
|
|
|
|
2020-03-09, 07:31
|
#8 | |
|
Jan 2018
1568 Posts |
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:
|
|
|
|
|
|
2020-03-09, 07:36
|
#9 | |
|
"Seth"
Apr 2019
2×5×72 Posts |
Quote:
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 |
|
|
|
|
|
2020-03-09, 14:23
|
#10 | |
|
Jan 2018
2·5·11 Posts |
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:
|
|
|
|
|
|
2020-03-09, 18:17
|
#11 | |
|
"Seth"
Apr 2019
2·5·72 Posts |
Quote:
Last fiddled with by SethTro on 2020-03-09 at 19:02 |
|
|
|
|
 |
| Thread Tools | |
Similar Threads
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Prime counting function records | D. B. Staple | Computer Science & Computational Number Theory | 50 | 2020-12-16 07:24 |
| records for primes | 3.14159 | Information & Answers | 8 | 2018-12-09 00:08 |
| 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 |
