Reporting small factors to PRP doesn't work
 

Hello!

I'll start from an example. [url=http://factordb.com/index.php?id=1100000000852642037]this number[/url] is currently marked as PRP. It also has a quality of being divisible by 2699701957. However, reporting this small factor doesn't change it into CF and the number remains PRP instead.

This is not the first time I've encountered this behavior. Checking it against a base in the Primality section helps turn it into C, and then the factor is added correctly. However, this extra step shouldn't be required.

(I have few more such examples if needed).

I've tried emailing the address specified on the [url=http://factordb.com/imp.html]"Imprint" page[/url], but didn't recieve any reply in weeks. Can anyone advise a correct way to report the bug to an appropriate person?

I reported some problems to that address last year and they were eventually fixed, after several weeks. So that's the right address, but don't hold your breath waiting for a reply.

Chris

[QUOTE=DukeBG;483650]Hello!

I'll start from an example. [URL="http://factordb.com/index.php?id=1100000000852642037"]this number[/URL] is currently marked as PRP. It also has a quality of being divisible by 2699701957. However, reporting this small factor doesn't change it into CF and the number remains PRP instead.

This is not the first time I've encountered this behavior. Checking it against a base in the Primality section helps turn it into C, and then the factor is added correctly. However, this extra step shouldn't be required.

(I have few more such examples if needed).

I've tried emailing the address specified on the [URL="http://factordb.com/imp.html"]"Imprint" page[/URL], but didn't recieve any reply in weeks. Can anyone advise a correct way to report the bug to an appropriate person?[/QUOTE]


Please feel free to report any problems you encounter with similiar problems. Seems like there is an bug in the code that prevents a PRP turning to CF if you add a factor.


I also did some ECM on the cofactor and found with B1=4500 a P12 factor.

[QUOTE=MisterBitcoin;483670]Please feel free to report any problems you encounter with similiar problems. Seems like there is an bug in the code that prevents a PRP turning to CF if you add a factor.[/QUOTE]
By "reporting" do you mean writing an email to that address or posting to these forums?

[QUOTE=DukeBG;483676]By "reporting" do you mean writing an email to that address or posting to these forums?[/QUOTE]


I´ve tryed to reach him multible time via mail, no responce.

You can do booth.

It´s better for all. :smile:
I´ll soon do a Primo test for a 12dd PRP, to see how long it will take. Imagine you waste a few CPU-days only to find out that this number is composite and had an small 10 digit factor.

That would hurt.

Found and "fixed" 13 such PRPs with 10-digit factors now. The smallest was 4547 digits.

[QUOTE=DukeBG;483959]Found and "fixed" 13 such PRPs with 10-digit factors now. The smallest was 4547 digits.[/QUOTE]


13 prp´s with factors? Ouch.
Did they have any special form (rep-digit; primorial/factorial) or just co-factors with no short term? Maybe a bug in pfgw.

Would be good to know, also please post them.

[QUOTE=MisterBitcoin;483968]13 prp´s with factors? Ouch.
Did they have any special form (rep-digit; primorial/factorial) or just co-factors with no short term? Maybe a bug in pfgw.

Would be good to know, also please post them.[/QUOTE]

Not sure why you mention pfgw. Is there evidence that FactorDB is using it "behind the scenes"?

I feel like FactorDB's PRP is just a "weak" probable prime test, not strong Miller-Rabin and definitely not strong Lucas test.

[QUOTE=DukeBG;484126]Not sure why you mention pfgw. Is there evidence that FactorDB is using it "behind the scenes"?

I feel like FactorDB's PRP is just a "weak" probable prime test, not strong Miller-Rabin and definitely not strong Lucas test.[/QUOTE]


See [URL="http://www.factordb.com/show_config.php"]here[/URL].
FDB is using PFGW for primality and factored N+1/N-1-tests. Notice: PFGW can only test for probable prime, if N-1/N+1 side is not deeply enough factored.
Here is an [URL="http://www.primenumbers.net/prptop/detailprp.php?rank=1"]examble[/URL].

I add factors for 10666 c109s today.

[QUOTE=vebis;486779]I add factors for 10666 c109s today.[/QUOTE]

wrong thread