mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > FactorDB

Reply
 
Thread Tools
Old 2017-02-24, 01:15   #133
Jayder
 
Jayder's Avatar
 
Dec 2012

2·139 Posts
Default

I've just taken my last batch of about 500. When I'm done that, there is very little left.

If anybody is still working from 300dd - 3000dd, please post here. But I can handle the last bit without any more help.
Jayder is offline   Reply With Quote
Old 2017-02-24, 02:45   #134
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

381710 Posts
Default

Quote:
Originally Posted by Jayder View Post
I've just taken my last batch of about 500. When I'm done that, there is very little left.

If anybody is still working from 300dd - 3000dd, please post here. But I can handle the last bit without any more help.
I just uploaded a few that are just above 3000dd, so if your pull took you past 3000dd you might want to cull those ones out. I am only working in the 3000dd and up area now.

I would be interested if you found any more composites, although I suppose one or two might sneak in. I've run my scripts up to 4275dd so far. Interestingly, there have been consistently right at about 20 composites per every 1000 PRPs. Also of interest (to me, at least), is that they are not spread out in any even manner. I'm seeing a pocket often that will have about a 50% ratio.
EdH is offline   Reply With Quote
Old 2017-02-24, 17:27   #135
chris2be8
 
chris2be8's Avatar
 
Sep 2009

40368 Posts
Default

Quote:
Originally Posted by EdH View Post
I'm running an experiment to see if I can handle 5000 PRPs (beginning at 300dd) at once, checking for composites. I'm using YAFU's isprime() test to find them. That step is taking quite some time.
YAFU has a bpsw() test which is probably faster than isprime() and would almost certainly find any composites. According to YAFU's docfile isprime does several rabin-miller tests which might just be duplicating what factordb has already done.

Chris
chris2be8 is offline   Reply With Quote
Old 2017-02-24, 18:34   #136
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

11·347 Posts
Default

Quote:
Originally Posted by chris2be8 View Post
YAFU has a bpsw() test which is probably faster than isprime() and would almost certainly find any composites. According to YAFU's docfile isprime does several rabin-miller tests which might just be duplicating what factordb has already done.

Chris
Thanks Chris,

I was actually just yesterday reading about isprime() being definitive (and therefore more thorough than needed for this application) and wondered if I should consider a different test. I'll give bpsw() a try-out sometime soon.

Ed
EdH is offline   Reply With Quote
Old 2017-02-24, 19:10   #137
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT/BST)

23×3×5×72 Posts
Default

I believe that it is an implementation of https://en.wikipedia.org/wiki/Adlema...primality_test
henryzz is offline   Reply With Quote
Old 2017-02-24, 23:19   #138
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

1110111010012 Posts
Default

Well, I did some testing and bpsw() takes four and one-half times as long to run as isprime(). To verify, I ran tests with the same ten PRPs for both, and isprime() took 50 seconds, while bpsw() took 3 minutes and 56 seconds.

YAFU's isprime() mentions only trial and Rabin-Miller testing. bpsw() mentions the Baillie-Pomerance-Selfridge-Wagstaff probablistic primality test. YAFU has a separate test, aprcl(), that runs the Adleman, Pomerance, Rumely, Cohen, and Lenstra primality test. All this is according to the YAFU docfile.
EdH is offline   Reply With Quote
Old 2017-02-28, 05:00   #139
Jayder
 
Jayder's Avatar
 
Dec 2012

2×139 Posts
Default

Just a heads up that I'll be taking everything under 3000dd shortly after my current batch is done, which looks like it will finish in about 20 hours.

If you are working anywhere under 3000dd, speak now.
Jayder is offline   Reply With Quote
Old 2017-03-02, 12:20   #140
Jayder
 
Jayder's Avatar
 
Dec 2012

2×139 Posts
Default

Finally: for a short time, there were no unproven primes in the database under 3000 digits. The one listed in the screenshot is, in fact, the composite that was discussed a page or two ago that refuses to be recognised as composite by the database.

Good team effort. Maybe we can clear it once a year or something.
Attached Thumbnails
Click image for larger version

Name:	factordbprp.png
Views:	72
Size:	18.4 KB
ID:	15703  
Jayder is offline   Reply With Quote
Old 2017-03-02, 13:51   #141
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

11×347 Posts
Default

Quote:
Originally Posted by Jayder View Post
Finally: for a short time, there were no unproven primes in the database under 3000 digits. The one listed in the screenshot is, in fact, the composite that was discussed a page or two ago that refuses to be recognised as composite by the database.

Good team effort. Maybe we can clear it once a year or something.
And, had you looked a little higher, you would have only found one more below 3100.

In addition, the overall number of PRPs is down from >86000 to <81000 ATM.

I think we made a good dent...
EdH is offline   Reply With Quote
Old 2017-03-02, 15:09   #142
pakaran
 
pakaran's Avatar
 
Aug 2002

3718 Posts
Default

I'm continuing to take the smallest numbers, mostly taking a few hundred at a time, one or twice a day. Before essentially everything got finished, I was only rarely getting past 990 dd.
pakaran is offline   Reply With Quote
Old 2017-03-02, 21:49   #143
Jayder
 
Jayder's Avatar
 
Dec 2012

2·139 Posts
Default

Quote:
Originally Posted by EdH View Post
And, had you looked a little higher, you would have only found one more below 3100.

In addition, the overall number of PRPs is down from >86000 to <81000 ATM.
Nice work!

I am going to move my machine away from this now. I'll do some ECM or something.
Jayder is offline   Reply With Quote
Reply



Similar Threads
Thread Thread Starter Forum Replies Last Post
Fixup Old Primo Certificate? wblipp FactorDB 1 2012-05-28 03:16
Invalid certificate? IvanP FactorDB 3 2012-05-11 12:17
Could Moore's law be purposely used for marketing purposes? jasong Science & Technology 10 2007-01-19 19:04
certificate of appreciation Unregistered Information & Answers 13 2004-04-28 06:24

All times are UTC. The time now is 12:09.


Sat Jul 17 12:09:47 UTC 2021 up 50 days, 9:57, 1 user, load averages: 1.46, 1.59, 1.44

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.