mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > FactorDB

Reply
 
Thread Tools
Old 2010-01-18, 19:07   #650
10metreh
 
10metreh's Avatar
 
Nov 2008

2×33×43 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
BTW, do you know if these fake primes are cleaned out when a factor is submitted for them? I recall that we've ran into these a few times in the past on 4788; were those cleared up on their own, or did Syd manually set them composite?
No, they aren't: sequence 13596 has a "p91" that already has factors submitted but is still listed as prime.
10metreh is offline   Reply With Quote
Old 2010-01-18, 19:18   #651
Andi47
 
Andi47's Avatar
 
Oct 2004
Austria

2×17×73 Posts
Default

Quote:
Originally Posted by 10metreh View Post
No, they aren't: sequence 13596 has a "p91" that already has factors submitted but is still listed as prime.
AAAaaargh - yet another one...

The "set prime" button should be either completely removed, or it should only appear if the number's character is still "unknown".

Another suggestion: Maybe the "set prime"-button should prompt for the input of a Primo- (or <whatever primality proving program>-) certificate of primality instead of blindly believing that the number is prime.
Andi47 is offline   Reply With Quote
Old 2010-01-18, 19:25   #652
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

17×251 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
BTW, do you know if these fake primes are cleaned out when a factor is submitted for them? I recall that we've ran into these a few times in the past on 4788; were those cleared up on their own, or did Syd manually set them composite?
The last of the 3 I posted is now listed as composite along with its small factors. I doubt that Syd would've fixed that one and not the c163.
But then there's 13596's "p91" (previously mentioned). Perhaps if a new factor is submitted, it changes to composite, (and from then on is how it should be) but if a factored composite is set to prime, it leaves it as a prime that divides into other primes (like this "p91").

Last fiddled with by Mini-Geek on 2010-01-18 at 19:26
Mini-Geek is offline   Reply With Quote
Old 2010-01-18, 19:31   #653
axn
 
axn's Avatar
 
Jun 2003

32×5×113 Posts
Default

The only valid use of a "Set Prime" button would be to set a PrP to Prime that is too big to be "proven". Even for the largest allowable number in DB (200K digits, IIRC), PrP test is feasible (might take a few hours, but still).
axn is online now   Reply With Quote
Old 2010-01-18, 20:46   #654
10metreh
 
10metreh's Avatar
 
Nov 2008

2×33×43 Posts
Default

Someone has set the c157 from the bugged version of 4788 prime, along with the next index. Syd, where are you?

Last fiddled with by 10metreh on 2010-01-18 at 20:46
10metreh is offline   Reply With Quote
Old 2010-01-18, 21:27   #655
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

17·251 Posts
Default

Quote:
Originally Posted by 10metreh View Post
Someone has set the c157 from the bugged version of 4788 prime, along with the next index.
This has already been noted. (Edit: Oops, looks like I noted some other ones and thought that one was a real prime.) It's not all that important what happens with the bugged version of 4788 anyway. I kind of preferred when it thought it ended in a prime, since that way nobody might accidentally run the bugged sequence and so waste their CPU time.

Last fiddled with by Mini-Geek on 2010-01-18 at 21:29
Mini-Geek is offline   Reply With Quote
Old 2010-01-19, 00:25   #656
frmky
 
frmky's Avatar
 
Jul 2003
So Cal

84B16 Posts
Default

It seems to be far more widespread this time. From my currently reserved, 789090 and 790248 have been set prime.
frmky is online now   Reply With Quote
Old 2010-01-19, 00:37   #657
axn
 
axn's Avatar
 
Jun 2003

13DD16 Posts
Default

Quote:
Originally Posted by frmky View Post
It seems to be far more widespread this time. From my currently reserved, 789090 and 790248 have been set prime.
Ugh! Just where is this "Set Prime" button anyway!
axn is online now   Reply With Quote
Old 2010-01-19, 06:08   #658
Andi47
 
Andi47's Avatar
 
Oct 2004
Austria

2×17×73 Posts
Default

Quote:
Originally Posted by 10metreh View Post
Someone has set the c157 from the bugged version of 4788 prime, along with the next index. Syd, where are you?
Syd has answered to my emails. He says that he has removed the "set prime" and "set prp" buttons and fixed sequence 4788.
I just looked into the DB and noticed that alq4788.2509 c163 is STILL set to prime and just sent an additional email to Syd. (maybe he thought that just the last line was bugged?)

Edit: I just see in the aliquot sequence forum, that sequence 763668 is broken - someone has set the last index (an even number!) to prime.

Last fiddled with by Andi47 on 2010-01-19 at 06:10
Andi47 is offline   Reply With Quote
Old 2010-01-19, 08:55   #659
smh
 
smh's Avatar
 
"Sander"
Oct 2002
52.345322,5.52471

22458 Posts
Default

I did a quick diff between all open ended sequences from last week and this morning and I get the following
Code:
789816
789740
794280
794880
790248
790340
792864
791196
790884
794754
792756
794196
763668
smh is offline   Reply With Quote
Old 2010-01-19, 13:22   #660
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

17×251 Posts
Default

Quote:
Originally Posted by Andi47 View Post
Syd has answered to my emails. He says that he has removed the "set prime" and "set prp" buttons and fixed sequence 4788.
Good.
Quote:
Originally Posted by Andi47 View Post
I just looked into the DB and noticed that alq4788.2509 c163 is STILL set to prime and just sent an additional email to Syd. (maybe he thought that just the last line was bugged?)
That's fixed now. Sequence 4788 is now A-Ok. These two composites from the false 4788 seq are still thought to be primes:
http://factordb.com/search.php?id=97221477
http://factordb.com/search.php?id=99425945
Quote:
Originally Posted by Andi47 View Post
Edit: I just see in the aliquot sequence forum, that sequence 763668 is broken - someone has set the last index (an even number!) to prime.
This one's still broken.
Mini-Geek is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Database for k-b-b's: 3.14159 Miscellaneous Math 325 2016-04-09 17:45
Factoring database issues Mini-Geek Factoring 5 2009-07-01 11:51
database.zip HiddenWarrior Data 1 2004-03-29 03:53
Database layout Prime95 PrimeNet 1 2003-01-18 00:49
Is there a performance database? Joe O Lounge 35 2002-09-06 20:19

All times are UTC. The time now is 07:30.


Fri Aug 6 07:30:24 UTC 2021 up 14 days, 1:59, 1 user, load averages: 2.97, 2.84, 2.76

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.