mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Conjectures 'R Us

Reply
 
Thread Tools
Old 2009-07-28, 16:54   #1
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

3×2,083 Posts
Default PFGW latest well-tested version

Hi all,

A couple of days ago, PFGW 3.2.0 was released. This version fixes many of the problems in 3.1.0 including the residue bug. The roundoff errors were not fully fixed with this release. Versions 3.3.0 and later correct all roundoff errors. Versions 3.3.6 and later correct all issues related to the proof of smaller PRPs. Here are links to the latest well-tested versions of PFGW:

PFGW 3.4.1 for Windows
PFGW 3.4.0 for Linux
PFGW 3.4.0 for Mac

PFGW 3.4.0 & 3.4.1 are now the most highly recommended programs for testing at CRUS.

PRPnet 3.3.5, which likewise fixes all known bugs in PRPnet, utilizes PFGW for non-power-of-2 PRP tests if available. If you're using PRPnet, we highly recommend downloading this latest version. See this thread for more information.

Max

Last fiddled with by gd_barnes on 2010-09-29 at 20:16 Reason: update PFGW versions
mdettweiler is offline   Reply With Quote
Old 2009-07-29, 08:37   #2
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT/BST)

23×739 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
Hi all,

A couple of days ago, PFGW 3.2.0 was released. This version fixes all of the problems in 3.1.0: the residue bug, as well as the FFT roundoff errors.

Now that the residue bug in PFGW has been remedied, PFGW and Prime95 are equally recommended for non-power-of-2 PRP testing. Actually, at this time, PFGW is more highly recomended since it's fixed the FFT roundoff errors, though Prime95 v25.12 should also be released soon to fix these as well.

PRPnet 2.2.3, which likewise fixes all known bugs in PRPnet, utilizes PFGW for non-power-of-2 PRP tests if available. If you're using PRPnet, I highly recommend downloading this latest version. See this thread for more information. The client packages downloadable from there include the latest version of PFGW.

Max
why doesnt it use pfgw for base 2?
ll tests have been made a little faster since gwnum 24.14 and also has speed ups for 64-bit
i suspect that those speedups will also help llr
henryzz is offline   Reply With Quote
Old 2009-07-29, 12:34   #3
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

6,427 Posts
Default

Quote:
Originally Posted by henryzz View Post
why doesnt it use pfgw for base 2?
ll tests have been made a little faster since gwnum 24.14 and also has speed ups for 64-bit
i suspect that those speedups will also help llr
Because LLR does a primality test for base 2 (both +1 and -1), not a PRP test. For the +1 side, PFGW would have to be modified to dynamically choose a base that can be used for a Proth test. By doing that the PRP test turns into a primality test. This is what LLR and phrot do. For the -1 side, PFGW would need to implement the LLR algorithm (which is in PFGW 1.4, which we don't have source for). I could "borrow" the code from LLR for the -1 test, but all we really need is for Jean to upgrade LLR. Finally, when PFGW does primality tests, it doesn't not give a residue if the result is composite.

BTW, I have not heard from Jean in a while, so I don't what's going on with him. Since LLR source is available, it would be relatively easy to upgrade it, but I would prefer to have his permission before doing so.

As for a 64-bit build, I'm working with Geoff Reynolds as there is a single asm module in PFGW that will not compile as 64-bit. I'm not an x86 asm guru, so I'm hoping that he can come up with a single module that works for both 32-bit and 64-bit environments.
rogue is offline   Reply With Quote
Old 2009-08-04, 10:51   #4
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

3×5×701 Posts
Default

I'm getting an error on PFGW with my new Sierp base 52 reservation. Here it is:

Code:
-----------------------------------------------------------------------
Error occuring in PFGW at Tue Aug 04 05:07:35 2009
Expr = 9243*52^2046+1
Failed at bit 1877 of 11676
Msg = Detected in MAXERR>0.45 (round off check) in prp_using_gwnum
Iteration: 1877/11676 ERROR: ROUND OFF 0.46875>0.45
I'm running on a 32-bit 1.6 Ghz HP dual-core laptop under Windows Vista.

Its running without sieving up to n=5000 so I have the -f100 switch set for trial factoring. A quick check using Syd's DB found no factors up to P=10M but it is composite. So no problems caused at this point but it could cause a problem on a real prime in the future.

Can someone look into this for me?


Thanks,
Gary

Last fiddled with by gd_barnes on 2009-08-04 at 10:55
gd_barnes is offline   Reply With Quote
Old 2009-08-04, 11:30   #5
KEP
Quasi Admin Thing
 
KEP's Avatar
 
May 2005

967 Posts
Default

Quote:
Originally Posted by gd_barnes View Post
I'm getting an error on PFGW with my new Sierp base 52 reservation. Here it is:

Code:
-----------------------------------------------------------------------
Error occuring in PFGW at Tue Aug 04 05:07:35 2009
Expr = 9243*52^2046+1
Failed at bit 1877 of 11676
Msg = Detected in MAXERR>0.45 (round off check) in prp_using_gwnum
Iteration: 1877/11676 ERROR: ROUND OFF 0.46875>0.45
I'm running on a 32-bit 1.6 Ghz HP dual-core laptop under Windows Vista.

Its running without sieving up to n=5000 so I have the -f100 switch set for trial factoring. A quick check using Syd's DB found no factors up to P=10M but it is composite. So no problems caused at this point but it could cause a problem on a real prime in the future.

Can someone look into this for me?


Thanks,
Gary
The problem is under investigation, since I got the same mistakes doing base 3 tests. In my case the problem was due to a mistake in Georges FFT tables (i think if I remember correctly). Also please be aware that PFGW skips the entire test if it fails in stead of checking it with different FFT lengths like Prime95 is. This is most likely going to be changed in the future according to words.

Regards

KEP
KEP is offline   Reply With Quote
Old 2009-08-04, 11:33   #6
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

6,427 Posts
Default

Quote:
Originally Posted by gd_barnes View Post
I'm getting an error on PFGW with my new Sierp base 52 reservation. Here it is:

Code:
-----------------------------------------------------------------------
Error occuring in PFGW at Tue Aug 04 05:07:35 2009
Expr = 9243*52^2046+1
Failed at bit 1877 of 11676
Msg = Detected in MAXERR>0.45 (round off check) in prp_using_gwnum
Iteration: 1877/11676 ERROR: ROUND OFF 0.46875>0.45
I'm running on a 32-bit 1.6 Ghz HP dual-core laptop under Windows Vista.

Its running without sieving up to n=5000 so I have the -f100 switch set for trial factoring. A quick check using Syd's DB found no factors up to P=10M but it is composite. So no problems caused at this point but it could cause a problem on a real prime in the future.

Can someone look into this for me?


Thanks,
Gary
This works in the upcoming release, so the problem has been resolved. It was most likely caused by gwnum being overly aggressive in choosing the FFT length. I hope to have a new release by the weekend.
rogue is offline   Reply With Quote
Old 2009-08-04, 11:52   #7
Flatlander
I quite division it
 
Flatlander's Avatar
 
"Chris"
Feb 2005
England

81D16 Posts
Default

While you're at it, the mouse-over pop-up for version 3.2 says version 3.1.
Flatlander is offline   Reply With Quote
Old 2009-08-04, 12:59   #8
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

3·2,083 Posts
Default

Quote:
Originally Posted by gd_barnes View Post
I'm getting an error on PFGW with my new Sierp base 52 reservation. Here it is:

Code:
-----------------------------------------------------------------------
Error occuring in PFGW at Tue Aug 04 05:07:35 2009
Expr = 9243*52^2046+1
Failed at bit 1877 of 11676
Msg = Detected in MAXERR>0.45 (round off check) in prp_using_gwnum
Iteration: 1877/11676 ERROR: ROUND OFF 0.46875>0.45
I'm running on a 32-bit 1.6 Ghz HP dual-core laptop under Windows Vista.

Its running without sieving up to n=5000 so I have the -f100 switch set for trial factoring. A quick check using Syd's DB found no factors up to P=10M but it is composite. So no problems caused at this point but it could cause a problem on a real prime in the future.

Can someone look into this for me?


Thanks,
Gary
As Mark said, it will be fixed in the next release; in the meantime, it's not a serious problem. It should work if you re-run that one number with the -a1 switch; that will force PFGW to use the next-higher FFT length which is really the correct one (and therefore it should be able to complete the test and give you a stable residual).
mdettweiler is offline   Reply With Quote
Old 2009-08-04, 14:50   #9
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

6,427 Posts
Default

Quote:
Originally Posted by Flatlander View Post
While you're at it, the mouse-over pop-up for version 3.2 says version 3.1.
Can you include a screen shot of that? I don't know what you are looking at.

Never mind, I think I found it.

Last fiddled with by rogue on 2009-08-04 at 15:05
rogue is offline   Reply With Quote
Old 2009-08-04, 15:07   #10
Flatlander
I quite division it
 
Flatlander's Avatar
 
"Chris"
Feb 2005
England

1000000111012 Posts
Default

I think it's because if you right-click and choose Properties/Version, it says version 3.1

In Windows btw.
Attached Thumbnails
Click image for larger version

Name:	WinPFGW-glitch.jpg
Views:	247
Size:	16.4 KB
ID:	3932  
Flatlander is offline   Reply With Quote
Old 2009-08-05, 01:47   #11
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

244238 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
As Mark said, it will be fixed in the next release; in the meantime, it's not a serious problem. It should work if you re-run that one number with the -a1 switch; that will force PFGW to use the next-higher FFT length which is really the correct one (and therefore it should be able to complete the test and give you a stable residual).
Yeah, I figured it's something minor. I just verified that it was composite at Alpertron's site. In the mean time, I got another one:

Quote:
-----------------------------------------------------------------------
Error occuring in PFGW at Tue Aug 04 19:11:21 2009
Expr = 6385*52^3070+1
Failed at bit 40 of 17512
Msg = Detected in MAXERR>0.45 (round off check) in prp_using_gwnum
Iteration: 40/17512 ERROR: ROUND OFF 0.5>0.45
I also verified that this one is composite at Alpertron's site.

Nothing earth shattering but I just wanted you to know in case it helps you detect a pattern of them or their frequency. The test that found these 2 problems is for all k's that are not k==(2 mod 3) on Sierp base 52 up to k=28673 and n=5000 so the problem is very infrequent for a fairly large # of k/n pairs tested. No sieving ahead of time was done. PFGW is set to do trial factoring with the -f100 switch.


Gary

Last fiddled with by gd_barnes on 2009-08-05 at 01:54
gd_barnes is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Prime Gap Search latest version of the c code pinhodecarlos Prime Gap Searches 170 2019-12-10 19:33
where can I download the latest version of GMP-ECM aaa120 GMP-ECM 2 2008-10-31 14:28
Where can I download the latest version of primo? aaa120 Software 7 2008-10-27 06:28
Is 23.8.1 the latest Version of Prime95? Bundu Software 1 2004-11-03 23:18
Latest version? [CZ]Pegas Software 3 2002-08-23 17:05

All times are UTC. The time now is 19:13.


Sat Oct 16 19:13:04 UTC 2021 up 85 days, 13:42, 1 user, load averages: 1.29, 1.25, 1.21

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, 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.