mersenneforum.org  

Go Back   mersenneforum.org > Math Stuff > Computer Science & Computational Number Theory

Reply
 
Thread Tools
Old 2021-03-29, 10:41   #1
Happy5214
 
Happy5214's Avatar
 
"Alexander"
Nov 2008
The Alamo City

13528 Posts
Default Verification of Feitsma's psp(2) data

I have no idea if this is the right place to post this, so someone can move it if necessary. Did Cleaver and Gilchrist, or anyone else for that matter, ever finish the independent verification of Jan Feitsma's base 2 pseudoprime data? Feitsma's page on the verification status hasn't been updated since April 2013, and it only shows the Wieferich verification as having been completed by that time.

Last fiddled with by Happy5214 on 2021-03-29 at 10:44 Reason: Date on website is in European format
Happy5214 is offline   Reply With Quote
Old 2021-03-30, 01:59   #2
CRGreathouse
 
CRGreathouse's Avatar
 
Aug 2006

3×1,993 Posts
Default

Quote:
Originally Posted by Happy5214 View Post
Did Cleaver and Gilchrist, or anyone else for that matter, ever finish the independent verification of Jan Feitsma's base 2 pseudoprime data?
I believe they each verified this independently back in 2010 (maybe 2009). When I say "independently", I mean that they wrote software implementations independently of each other -- they used the same underlying mathematics, so that's still a potential source of error for those concerned about correctness.

And many people, myself included, checked that there were no BPSW pseudoprimes on the list.
CRGreathouse is offline   Reply With Quote
Old 2021-03-31, 09:47   #3
Jeff Gilchrist
 
Jeff Gilchrist's Avatar
 
Jun 2003
Ottawa, Canada

3·17·23 Posts
Default

David Cleaver and I are actually re-doing the verification again in hopes of better documenting what we did so we can publish the results. That is ongoing right now, no ETA when that will be finished yet.
Jeff Gilchrist is offline   Reply With Quote
Old 2021-03-31, 11:27   #4
Happy5214
 
Happy5214's Avatar
 
"Alexander"
Nov 2008
The Alamo City

2·373 Posts
Default

Quote:
Originally Posted by Jeff Gilchrist View Post
David Cleaver and I are actually re-doing the verification again in hopes of better documenting what we did so we can publish the results. That is ongoing right now, no ETA when that will be finished yet.
Good to know. I'll be keeping an eye out for that.
Happy5214 is offline   Reply With Quote
Old 2021-03-31, 11:42   #5
WraithX
 
WraithX's Avatar
 
Mar 2006

1E616 Posts
Default

Quote:
Originally Posted by CRGreathouse View Post
I believe they each verified this independently back in 2010 (maybe 2009). When I say "independently", I mean that they wrote software implementations independently of each other -- they used the same underlying mathematics, so that's still a potential source of error for those concerned about correctness.

And many people, myself included, checked that there were no BPSW pseudoprimes on the list.
And to make it a little more clear, Jan wrote his code and built his database a long time ago.

Then I coded up the underlying algorithms and Jeff and I ran that code in a coordinated effort to create our own database to compare to Jan's database. Jeff also helped update this code so it could run on his computers back in the day. But, I know I've lost some of my data since then, so we couldn't verify how much of this work we had done.

As Jeff mentioned, we are redoing the verification. I've re-written the code, with a big thanks to Ben Buhrow for providing low level mul-mod and factorization code!, and this is what Jeff and I are currently using to redo the verification. And, to second what Jeff said, the work is ongoing and there's no ETA for when we'll be finished.
WraithX is offline   Reply With Quote
Old 2021-03-31, 12:36   #6
pinhodecarlos
 
pinhodecarlos's Avatar
 
"Carlos Pinho"
Oct 2011
Milton Keynes, UK

2·2,477 Posts
Default

Happy to help out under Windows,16 GB,(4C/8T).
pinhodecarlos is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Let's finish primality verification through Mp#48*, M(57 885 161) kriesel Marin's Mersenne-aries 44 2021-09-21 13:05
account needs verification to to upload manual results bitsam PrimeNet 3 2020-12-07 21:06
TF NF verification proposal from R. Gerbicz kriesel News 0 2019-02-24 15:47
Unsafe verification? CuriousKit PrimeNet 13 2015-06-21 14:49
Doing more about LL test verification jasong Software 13 2010-03-10 18:53

All times are UTC. The time now is 18:03.


Tue Sep 21 18:03:29 UTC 2021 up 60 days, 12:32, 0 users, load averages: 3.36, 2.71, 2.38

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.