mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > FactorDB

Reply
 
Thread Tools
Old 2016-10-26, 01:28   #45
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

3×52×43 Posts
Default

Quote:
Originally Posted by henryzz View Post
My work is submitted. Doesn't seem to have brought it below 550k numbers at 309 digits.
The spike has shown no noticeable decrease. I wonder if the graph is current and if the labels are true. Now, my curiosity is piqued...
EdH is offline   Reply With Quote
Old 2016-10-26, 15:43   #46
chris2be8
 
chris2be8's Avatar
 
Sep 2009

19·97 Posts
Default

It's brought some numbers I hadn't checked into the accessible range, so I'll check them for algebraic factors. Thanks for the help.

Chris
chris2be8 is offline   Reply With Quote
Old 2016-10-26, 22:15   #47
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

C9916 Posts
Default

In my earlier limited view of the last visible 309 digit composites, it appeared that they were provided in index order. However, a more broad inspection has shown that the case, in fact, is different. This makes my earlier script even less valuable...

(I know, some of you are asking, "How could it possibly be less valuable than it was?"
EdH is offline   Reply With Quote
Old 2017-07-17, 16:20   #48
chris2be8
 
chris2be8's Avatar
 
Sep 2009

19·97 Posts
Default

Quote:
Originally Posted by chris2be8 View Post
I'll now start running against composites with no known factors. Which will take a few months. But should have more numbers end up fully factored, at least to start with.
Finished at 60,000 digits (there are not many composites with no known factors in the range where status unknown isn't checked).

The final tally:
52363400 checked.
1809152 at least partly factored.
127059 fully factored.

And there will be some more where I lost the response from factordb. And some fully factored by factordb after I reduced them to under 70 digits.

I was originally planning to run it once a year. But since it took a year to run I'll wait a few weeks before restarting it against numbers with status unknown.

Chris
chris2be8 is offline   Reply With Quote
Old 2017-08-18, 00:08   #49
swellman
 
swellman's Avatar
 
Jun 2012

7·401 Posts
Default U208052 is found to be C - now what?

I searched the forum for an answer to this, but could not find anything. Apologies if this question has been dealt with before.

While exploring the ElevenSmooth site, we were inspired to plug the full M3326400 into factordb for grins, and found the largest factor is listed as U208052. Ryan Propper ran 50 Miller-Rabin tests on it (using his own code), and all came back "not a prime". While this result certainly isn't shocking, it would settle the question of whether any further work is warranted on this particular cofactor. And no, no one is going to do much with a composite so large. But the issue is still open.

Is there a process to request to convert a U to a C without actually finding a factor? Presumably someone must verify compositeness on a trusted system with vetted software, correct?

Or are it's factors already known, hidden in plain sight? I'm not ashamed to admit I don't fully understand all the intertwined branches of so large (and smooth!) a Mersennes number. Any advice would be greatly appreciated.

Has anyone heard from William of ElevenSmooth lately?
swellman is online now   Reply With Quote
Old 2017-08-18, 03:29   #50
axn
 
axn's Avatar
 
Jun 2003

23×3×193 Posts
Default

Quote:
Originally Posted by swellman View Post
Ryan Propper ran 50 Miller-Rabin tests on it (using his own code), and all came back "not a prime".
WTF? Why? 1 negative result is sufficient.

Quote:
Originally Posted by swellman View Post
While this result certainly isn't shocking, it would settle the question of whether any further work is warranted on this particular cofactor.
As such, there is no efficient way to ECM _just_ this cofactor. You can use P95 to ECM its parent (2^1663200+1)

Quote:
Originally Posted by swellman View Post
Is there a process to request to convert a U to a C without actually finding a factor?
Do you have a login for factordb? AFAIK, there used to be a feature for trusted users to manually change the status of a number (but it may have been removed). You could write to Syd. FTR, factordb will automatically do PRP test for numbers < 20k digits, and for numbers between 20k digits and x digits, users can "Assign" them for PRP test. I don't know what 'x' is, but obviously it is not big enough to cover this composite.

Quote:
Originally Posted by swellman View Post
Or are it's factors already known, hidden in plain sight?
If someone knew additional factors of this number, presumably they would've reported it to factordb.
axn is offline   Reply With Quote
Old 2017-08-18, 10:54   #51
swellman
 
swellman's Avatar
 
Jun 2012

7·401 Posts
Default

Quote:
Originally Posted by axn View Post
WTF? Why? 1 negative result is sufficient.
50 instances launched in parallel. Saved days in the (very) off chance it was prime. Wasted 49 instances if it was composite. Flip a coin.

Quote:
As such, there is no efficient way to ECM _just_ this cofactor. You can use P95 to ECM its parent (2^1663200+1)
Thanks. Never actually used P95 but maybe it's time.

Quote:
Do you have a login for factordb? AFAIK, there used to be a feature for trusted users to manually change the status of a number (but it may have been removed). You could write to Syd. FTR, factordb will automatically do PRP test for numbers < 20k digits, and for numbers between 20k digits and x digits, users can "Assign" them for PRP test. I don't know what 'x' is, but obviously it is not big enough to cover this composite.
No, but I will pursue one. Is Syd the only person who can issue an ID? I sense he's pretty busy with RL these days.

Quote:
If someone knew additional factors of this number, presumably they would've reported it to factordb.
Agreed. I'm just unsure how the ElevenSmooth project was managed. There are about fifty composite cofactors (plus one unknown) listed in Factordb that do not appear on the 11S site. I'm assuming they're all interrelated, i.e. find a factor of a smaller composite on 11S and one of the bigger terms will also benefit when the factor is reported to fdb.
swellman is online now   Reply With Quote
Old 2017-08-18, 13:32   #52
axn
 
axn's Avatar
 
Jun 2003

23·3·193 Posts
Default

Quote:
Originally Posted by swellman View Post
50 instances launched in parallel. Saved days in the (very) off chance it was prime. Wasted 49 instances if it was composite. Flip a coin.
To each their own, I say

Quote:
Originally Posted by swellman View Post
No, but I will pursue one. Is Syd the only person who can issue an ID? I sense he's pretty busy with RL these days.
Yes, Syd is the only admin. To get an id, you can use http://www.factordb.com/login.php?register=1. But to get special privileges, you'll have to write to Syd.

Quote:
Originally Posted by swellman View Post
Agreed. I'm just unsure how the ElevenSmooth project was managed. There are about fifty composite cofactors (plus one unknown) listed in Factordb that do not appear on the 11S site. I'm assuming they're all interrelated, i.e. find a factor of a smaller composite on 11S and one of the bigger terms will also benefit when the factor is reported to fdb.
The composite cofactors come from the algebraic factorization. As such there is no point in tracking them. Factordb allows it, so someone (possibly even william) must've entered them. And you're right, factordb stores them in such a way that factor reported for one number (say C) is automatically available for all numbers that have C as a composite cofactor.
axn is offline   Reply With Quote
Old 2017-08-18, 13:42   #53
schickel
 
schickel's Avatar
 
"Frank <^>"
Dec 2004
CDP Janesville

2·1,061 Posts
Default

As of now, there is no interface for changing a number's status available anymore.

There was an option available to flip a number from C to P for a while, but bad things happened while it was there. Unfortunately Syd did not also provide an option to do the revse - flip a number from P to C - so it could be rechecked if a number was marked P in error.
schickel is offline   Reply With Quote
Old 2017-08-18, 14:30   #54
swellman
 
swellman's Avatar
 
Jun 2012

7×401 Posts
Default

Quote:
Originally Posted by axn View Post
Yes, Syd is the only admin. To get an id, you can use http://www.factordb.com/login.php?register=1. But to get special privileges, you'll have to write to Syd.
Thanks. From schickel's post after yours, it sounds like the special privileges thing has gone away but I then don't need/want it.

Quote:
The composite cofactors come from the algebraic factorization. As such there is no point in tracking them. Factordb allows it, so someone (possibly even william) must've entered them. And you're right, factordb stores them in such a way that factor reported for one number (say C) is automatically available for all numbers that have C as a composite cofactor.
Thanks. Will focus on the composites list on the 11S site, with reports of any factors found to be made to factordb of course.
swellman is online now   Reply With Quote
Old 2017-08-18, 14:32   #55
swellman
 
swellman's Avatar
 
Jun 2012

53678 Posts
Default

Quote:
Originally Posted by schickel View Post
As of now, there is no interface for changing a number's status available anymore.

There was an option available to flip a number from C to P for a while, but bad things happened while it was there. Unfortunately Syd did not also provide an option to do the revse - flip a number from P to C - so it could be rechecked if a number was marked P in error.
No worries, we will have to do it the old fashioned way - split it with a hammer! A really big hammer...
swellman is online now   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Official "Faits erronés dans de belles-lettres" thread ewmayer Lounge 39 2015-05-19 01:08
Official "all-Greek-to-me Fiction Literature and Cinema" Thread ewmayer Science & Technology 41 2014-04-16 11:54
Official "Lasciate ogne speranza" whinge-thread cheesehead Soap Box 56 2013-06-29 01:42
Official "Ernst is a deceiving bully and George is a meanie" thread cheesehead Soap Box 61 2013-06-11 04:30
Official "String copy Statement Considered Harmful" thread Dubslow Programming 19 2012-05-31 17:49

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

Thu Jul 9 18:57:14 UTC 2020 up 106 days, 16:30, 1 user, load averages: 2.03, 1.89, 1.92

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