![]() |
|
|
#650 |
|
Nov 2008
2×33×43 Posts |
No, they aren't: sequence 13596 has a "p91" that already has factors submitted but is still listed as prime.
|
|
|
|
|
|
#651 | |
|
Oct 2004
Austria
2×17×73 Posts |
Quote:
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. |
|
|
|
|
|
|
#652 | |
|
Account Deleted
"Tim Sorbera"
Aug 2006
San Antonio, TX USA
17×251 Posts |
Quote:
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 |
|
|
|
|
|
|
#653 |
|
Jun 2003
32×5×113 Posts |
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).
|
|
|
|
|
|
#654 |
|
Nov 2008
2×33×43 Posts |
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 |
|
|
|
|
|
#655 | |
|
Account Deleted
"Tim Sorbera"
Aug 2006
San Antonio, TX USA
17·251 Posts |
Quote:
Last fiddled with by Mini-Geek on 2010-01-18 at 21:29 |
|
|
|
|
|
|
#656 |
|
Jul 2003
So Cal
84B16 Posts |
It seems to be far more widespread this time. From my currently reserved, 789090 and 790248 have been set prime.
|
|
|
|
|
|
#657 |
|
Jun 2003
13DD16 Posts |
|
|
|
|
|
|
#658 | |
|
Oct 2004
Austria
2×17×73 Posts |
Quote:
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 |
|
|
|
|
|
|
#659 |
|
"Sander"
Oct 2002
52.345322,5.52471
22458 Posts |
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 |
|
|
|
|
|
#660 | ||
|
Account Deleted
"Tim Sorbera"
Aug 2006
San Antonio, TX USA
17×251 Posts |
Quote:
Quote:
http://factordb.com/search.php?id=97221477 http://factordb.com/search.php?id=99425945 This one's still broken. |
||
|
|
|
![]() |
| 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 |