|
2017-05-13, 17:16
|
#1 |
Dec 2011
After milion nines:)
5×172 Posts |
Bug in srfile 1.0.6
I was found bug in srfile 1.0.6 , but it looks like trivial one.
Inside abcd file there in lines... ... ... ABCD 4973*2^$a+1 [1448313] ABCD 4975*2^$a+1 [1448184] 4 60 2 10 14 6 52 26 12 10 12 12 24 ... ... After removing some factors, those two lines are converted to one .. ABCD 4973*2^$a+1ABCD 4975*2^$a+1 [1448184] 4 60 2 10 14 58 26 22 24 24 .. and I got warning message d:\PGEN\ABCMAKE\MAKESIEVE>sr sr_2.abcd -k factors.txt -G srfile 1.0.5 -- A file utility for srsieve. ERROR: Line 389: Malformed line in ABCD format file `sr_2.abcd'. Content of sieve file for candidate 4973 is 2000000:P:1:2:257 4973 1448313 Last fiddled with by pepi37 on 2017-05-13 at 17:18 Reason: add more text |
|
|
|
2017-05-13, 20:13
|
#2 |
"Mark"
Apr 2003
Between here and the
18CB16 Posts |
That is likely happening because there are no values for the first sequence. How did that file get created?
|
|
|
|
|
2017-05-13, 20:22
|
#3 | |
|
Dec 2011
After milion nines:)
5A516 Posts |
Quote:
2000000:P:1:2:257 4973 1448313 |
|
|
|
|
|
2017-05-14, 12:30
|
#4 |
|
"Mark"
Apr 2003
Between here and the
11×577 Posts |
I'm confused. That is a newpgen format. What created the ABCD file?
|
|
|
|
|
2017-05-14, 12:37
|
#5 | |
|
Dec 2011
After milion nines:)
101101001012 Posts |
Quote:
step by step first I made initial sieve and got many npg files Then I join them and got ABCD file. I run sr2sieve, and got few factors Then I remove those factors from abcd file and got error. Read again, you say that That is likely happening because there are no values for the first sequence. Then I reply to you that is not true and give you content of "problematic K" so you can see there is one value in that sequence. |
|
|
|
|
|
2017-05-14, 16:39
|
#6 |
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2
947710 Posts |
Yes, that's a bug.
Apparenly srfile always prints "ABCD 4973*2^$a+1" (a quasi header, no endline), and then when it finds first value in the bitmap it prints " [%d]\n" and then differences ("%d\n") after that. This misfires in this particular case (apparently Predrag ran "srfile ... -k factors.txt ..."), after "-k" the last value for that series was removed. The patch is obvious. Code:
*** files.c.orig 2011-11-22 08:16:42.000000000 -0800
--- files.c 2017-05-14 09:36:02.290922900 -0700
***************
*** 865,870 ****
--- 865,871 ----
abcd_p = p;
for (count = 0, seq = 0; seq < seq_count; seq++)
{
+ if(SEQ[seq].ncount == 0) continue;
fprintf(file, "ABCD %" PRIu64 "*%" PRIu32 "^$a%+" PRId64,
SEQ[seq].k, base, SEQ[seq].c);
abcd_n = UINT32_MAX;
|
|
|
|
|
2017-05-25, 17:51
|
#7 |
|
"Mark"
Apr 2003
Between here and the
143138 Posts |
Fixed. I hope to release next week with the other changes.
|
|
|
|
 |
Similar Threads
|
||||
| Thread | Thread Starter | Forum | Replies | Last Post |
| Feature request (srfile) | MisterBitcoin | Conjectures 'R Us | 5 | 2017-02-09 19:12 |
| convert files from srsieve/srfile into worktodo.txt | Rincewind | PrimeNet | 9 | 2014-11-01 11:47 |
| srfile | justinsane | Software | 2 | 2009-07-20 16:27 |
| Manual k Reservations and srfile | MyDogBuster | Sierpinski/Riesel Base 5 | 4 | 2009-04-26 18:59 |
| P-1 and srfile | henryzz | Factoring | 7 | 2008-11-04 17:01 |
