mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Software

Reply
 
Thread Tools
Old 2017-05-13, 17:16   #1
pepi37
 
pepi37's Avatar
 
Dec 2011
After milion nines:)

1,361 Posts
Default 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
pepi37 is offline   Reply With Quote
Old 2017-05-13, 20:13   #2
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

603810 Posts
Default

That is likely happening because there are no values for the first sequence. How did that file get created?
rogue is online now   Reply With Quote
Old 2017-05-13, 20:22   #3
pepi37
 
pepi37's Avatar
 
Dec 2011
After milion nines:)

1,361 Posts
Default

Quote:
Originally Posted by rogue View Post
That is likely happening because there are no values for the first sequence. How did that file get created?
There is (one) value ( as I write it)

2000000:P:1:2:257
4973 1448313
pepi37 is offline   Reply With Quote
Old 2017-05-14, 12:30   #4
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

2·3,019 Posts
Default

I'm confused. That is a newpgen format. What created the ABCD file?
rogue is online now   Reply With Quote
Old 2017-05-14, 12:37   #5
pepi37
 
pepi37's Avatar
 
Dec 2011
After milion nines:)

101010100012 Posts
Default

Quote:
Originally Posted by rogue View Post
I'm confused. That is a newpgen format. What created the ABCD file?
Ok
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.
pepi37 is offline   Reply With Quote
Old 2017-05-14, 16:39   #6
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

100011110111102 Posts
Default

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;
Batalov is offline   Reply With Quote
Old 2017-05-25, 17:51   #7
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

2×3,019 Posts
Default

Fixed. I hope to release next week with the other changes.
rogue is online now   Reply With Quote
Reply

Thread Tools


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

All times are UTC. The time now is 02:00.

Thu Dec 3 02:00:57 UTC 2020 up 83 days, 23:11, 1 user, load averages: 2.91, 2.54, 2.29

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.