|
Broken sequences / duplicate entries
Hi everyone,
sorry it took so long to repair the database. There were a few underlying problems which caused the broken sequences, broken numbers, etc. The major one was duplicate entries. I use separate tables for composites, status unknowns, primes, etc, and assume each ID appears in one table only. After last server crash this was not true anymore, which caused errors like "duplicate entry on PRIMARY KEY", false primes and so on. I just removed these ID´s from all tables and hope it fixed the sequences. Then there was another bug when reporting factors which occurred under certain circumstances. Say a number x, new to the database, factors as a*b*c*d, and 3 factors are reported: a*b, b*c and a*c This caused an "error on number" bug, which is hopefully fixed now. And finally, large numbers, especially fermat numbers, were shown very slowly. This was caused by my modifications to gmp´s mpz_perfect_power_p function.. Now its back to default and fast again. Please let me know if its not fixed! I hope I´ll find some time to work on some other features soon - Syd |
Thanks for the heads-up Syd
|
Does anyone have an elf they can upload for [URL="http://factordb.com/sequences.php?se=1&aq=40320&action=last20&fr=0&to=100"]40320[/URL]?
shickel's latest report puts at at line 1357 size 117, but if you click on the link, you can see it's a few hundred lines and 60 digits short. (When I first noticed it the DB only had it in the 600s.) |
[QUOTE=Dubslow;303349]Does anyone have an elf they can upload for [URL="http://factordb.com/sequences.php?se=1&aq=40320&action=last20&fr=0&to=100"]40320[/URL]?
shickel's latest report puts at at line 1357 size 117, but if you click on the link, you can see it's a few hundred lines and 60 digits short. (When I first noticed it the DB only had it in the 600s.)[/QUOTE] That sequence seems to be still broken. I tried to run two cores on it, it should be faster to bring it back to index 1357 then to ask about... but aliqueit got angry with me at index 504. The problem is the 18 digits cofactor 433850578177651157 of index 503, marked as prime. In reality this is a C18 which splits as 41283691*10509006527. The right sigma of index 503 is i504=[URL="http://factordb.com/sequences.php?se=1&aq=58434468573150132384528&action=all&fr=0&to=100"]58434468573150132384528 [/URL]and you can see there the continuation of the sequence, which is indeed a C117 at the end. |
Sigh... [URL="http://factordb.com/sequences.php?se=1&aq=731208&action=last20&fr=0&to=100"]731208[/URL] is also broken.
[code]Verifying elf 731208 Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=731208&action=range&fr=2790&to=2810"]2799[/URL]... ERROR: factor not prime: [URL="http://factordb.com/index.php?query=504246042153376879"]504246042153376879[/URL][/code] It's another case of floating between FF and P, and the sequence's next line is incorrect because of that. schickel's text report shows it as "731208 3947. sz 112 2 * 3". |
And another.
[code]Verifying elf 21318 Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=21318&action=range&fr=295&to=305"]300[/URL]... ERROR: @index 300: value != sigma - n[/code] [code] 21318 1264. sz 116 2 * 3 * 5[/code] |
Another broken sequence
[code]Verifying elf 641592
Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=641592&action=range&fr=1462&to=1472"]1467[/URL]... ERROR: @index 1467: value != sigma - n[/code] [code]641592 1610. sz 114 2 * 3^2[/code] Syd, did all the broken sequences need fixing by hand? Is it possible that these sequences were broken before you fixed it, meaning that the bug is in fact gone, but just that these sequences missed the cleanup somehow? Edit: 641592 and 40320 both appear in [URL="http://www.mersenneforum.org/showthread.php?p=300934#post300934"]this post[/URL] (with the same problem lines) but the other two (21318 and 731208) were not previously known to be broken. |
Two more
1 Attachment(s)
[code]Verifying elf 271680
Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=271680&action=range&fr=435&to=445"]440[/URL]... ERROR: factor not prime: 336756866798891081[/code] [code]271680 2266. sz 117 2 * 3^3 * 5[/code] Not previously known... [code]Verifying elf 331716 Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=331716&action=range&fr=179&to=189"]184[/URL]... ERROR: factor not prime: 539550197360613767[/code] [code]331716 1117. sz 114 2 * 3^3 * 7^2[/code] Also not previously known. Edit: For Syd or someone else who wants to try (and is using *nix with wget and aliqueit installed) you could do this: [code]#! /bin/bash for seq in $(cat AllSeqs.txt); do wget http://factordb.com/elf.php?seq=$seq&type=1 aliqueit -t alq_$seq.elf >> aliquot.log done[/code] The problem is that it would take up to a week to run completely, but it would give a definitive list of all problems. |
Comprehensive list
Alright, the following should be a complete list of the 22 sequences with errors that occurred at a size <110. It's likely that there are at least a few sequences with errors at sizes >=110 that I haven't found.
The first three lines are the aliqueit check output, and the fourth is what AllSeq.txt reports is the correct status of the sequence. They're in no particular order, and this includes the others reported above. [code]Verifying elf 722250 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=722250&action=range&fr=144&to=154]149[/url]... ERROR: factor not prime: 576443222838292213 722250 1550. sz 113 2 * 3 * 5 Verifying elf 583308 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=583308&action=range&fr=140&to=150]145[/url]... ERROR: factor not prime: 494644839362210107 583308 1185. sz 118 2^4 * 3 * 31 Verifying elf 43974 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=43974&action=range&fr=321&to=331]326[/url]... ERROR: @index 326: value != sigma - n 43974 4367. sz 115 2^2 * 3 * 7 * 103 * 14621 Verifying elf 434040 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=434040&action=range&fr=423&to=433]428[/url]... ERROR: @index 428: value != sigma - n 434040 1664. sz 115 2^2 * 3^2 * 5 * 331 Verifying elf 116424 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=116424&action=range&fr=707&to=717]712[/url]... ERROR: @index 712: value != sigma - n 116424 1398. sz 113 2^2 * 7 Verifying elf 506322 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=506322&action=range&fr=108&to=118]113[/url]... ERROR: factor not prime: 574402480684664617 506322 2985. sz 113 2^2 * 3 * 7 * 11 Verifying elf 936390 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=936390&action=range&fr=2348&to=2358]2353[/url]... ERROR: @index 2353: value != sigma - n 936390 4102. sz 117 2^4 * 3^3 * 31 * 271 Verifying elf 14598 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=14598&action=range&fr=1124&to=1134]1129[/url]... ERROR: factor not prime: 559829707982058169 14598 1580. sz 116 2^2 * 3 * 7 * 13 * 251 Verifying elf 745824 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=745824&action=range&fr=1373&to=1383]1378[/url]... ERROR: @index 1378: value != sigma - n 745824 3334. sz 112 2^2 * 7 Verifying elf 976248 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=976248&action=range&fr=1460&to=1470]1465[/url]... ERROR: @index 1465: value != sigma - n 976248 1615. sz 119 2^3 * 3^3 Verifying elf 700128 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=700128&action=range&fr=226&to=236]231[/url]... ERROR: @index 231: value != sigma - n 700128 2244. sz 2 43 Verifying elf 406608 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=406608&action=range&fr=231&to=241]236[/url]... ERROR: @index 236: value != sigma - n 406608 965. sz 115 2^4 * 3 Verifying elf 239520 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=239520&action=range&fr=85&to=95]90[/url]... ERROR: factor not prime: 465271162599626183 239520 970. sz 114 2^3 * 3 Verifying elf 228956 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=228956&action=range&fr=1493&to=1503]1498[/url]... ERROR: @index 1498: value != sigma - n 228956 3476. sz 117 2^3 * 3 * 5 * 7 Verifying elf 246888 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=246888&action=range&fr=687&to=697]692[/url]... ERROR: factor not prime: 428238728474329177 246888 2044. sz 114 2 * 3 Verifying elf 566712 Verifying index [url=http://factordb.com/sequences.php?se=1&aq=566712&action=range&fr=1088&to=1098]1093[/url]... ERROR: @index 1093: value != sigma - n 566712 1239. sz 111 2 * 3^2 Verifying elf 731208 Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=731208&action=range&fr=2790&to=2810"]2799[/URL]... ERROR: factor not prime: 504246042153376879 731208 3947. sz 112 2 * 3 Verifying elf 21318 Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=21318&action=range&fr=295&to=305"]300[/URL]... ERROR: @index 300: value != sigma - n 21318 1264. sz 116 2 * 3 * 5 Verifying elf 641592 Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=641592&action=range&fr=1462&to=1472"]1467[/URL]... ERROR: @index 1467: value != sigma - n 641592 1610. sz 114 2 * 3^2 Verifying elf 271680 Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=271680&action=range&fr=435&to=445"]440[/URL]... ERROR: factor not prime: 336756866798891081 271680 2266. sz 117 2 * 3^3 * 5 Verifying elf 331716 Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=331716&action=range&fr=179&to=189"]184[/URL]... ERROR: factor not prime: 539550197360613767 331716 1117. sz 114 2 * 3^3 * 7^2 Verifying elf 40320 Verifying index [URL="http://factordb.com/sequences.php?se=1&aq=40320&action=range&fr=499&to=509"]504[/url]... ERROR: factor not prime: 433850578177651157 40320 1357. sz 117 2^3 * 3^2 * 5 * 2657[/code] |
Good work man! We waiting for Syd now, hoping he will have some free time to fix them.
|
Actually, I'm fairly sure there are two more sequences with errors that I missed because they show as terminated due to the errors. Long story short, I wasn't handling that properly, and it will take another week for me to find those. (700128 was a case of this, except that I happened to be watching at the right time; as a matter of fact, me accidentally catching 700128 is how I figured out I was mishandling the wrong-terminations.)
|
| All times are UTC. The time now is 11:59. |
Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.