mersenneforum.org What determine if P-1 factoring is used?
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read

 2021-05-29, 18:41 #1 drkirkby   "David Kirkby" Jan 2021 Althorne, Essex, UK 1C016 Posts What determine if P-1 factoring is used? I wanted to check the RAM usage during P-1 factoring, so manually reserved an exponent, for a PRP test. The exponent has no P-1 factoring. https://www.mersenne.org/report_expo...8792767&full=1 I assumed that when I run the exponent using mprime 30.6b4, using the line given by the server Code: PRP=xxx,1,2,108792767,-1,76,0,3,1 that mprime would attempt P-1 factoring, to look for a factor, to possibly save time performing a computationally expensive PRP test. I then changed the line in worktodo.txt, to remove the 3,1 on the end, Code: PRP=xxx,1,2,108792767,-1,76,0 deleted all the files related to the exponent, and started again. I thought that would force a P-1 test, but it did not. I'm a bit puzzled why mprime goes straight into a computationally expensive PRP test, before giving a chance to a P-1 test to find a factor. Yes, I am aware I could have reserved P-1 factoring, rather than a PRP test, but I'd rather make use of the P-1 results, and assumed that since a P-1 factoring had not been done, one would be done before starting the PRP test. I obviously have some basic misunderstanding here. Dave Last fiddled with by drkirkby on 2021-05-29 at 18:55
 2021-05-29, 18:50 #2 drkirkby   "David Kirkby" Jan 2021 Althorne, Essex, UK 26·7 Posts I see changing the line in worktodo.txt to Code:  PRP=(aid redacted),1,2,108792767,-1,76,2 forces a P-1 test, Then mprime reports Code: [Worker #2 May 29 19:44] Optimal P-1 factoring of M108792767 using up to 376832MB of memory. [Worker #2 May 29 19:44] Assuming no factors below 2^76 and 2 primality tests saved if a factor is found. [Worker #2 May 29 19:44] Optimal bounds are B1=928000, B2=55053000 [Worker #2 May 29 19:44] Chance of finding a factor is an estimated 4.73% I'm just puzzled why this does not occur as a matter of course. It's only been trial factored to 2^76. Last fiddled with by kriesel on 2021-05-29 at 19:00 Reason: (don't post valid assignment IDs; remembered in post one, forgot in two)
 2021-05-29, 18:56 #3 kriesel     "TF79LL86GIMPS96gpu17" Mar 2017 US midwest 5·7·132 Posts Because for some reason the server incorrectly gave an assignment with =0 that time. Which tells the client software mprime there is no point to attempting P-1, don't bother. You can fix that by changing the 76,0 to 76,1 or 76,2. Or constructing a suitable Pminus1 entry preceding the PRP entry, stopping and restarting. As usual reference info! Not sure why the server seems to have gotten that one wrong. Usually it has worked. edit: Posted a summary with link to this thread, in the Official Server Problems thread. Last fiddled with by kriesel on 2021-05-29 at 20:32
2021-05-29, 19:08   #4
drkirkby

"David Kirkby"
Jan 2021
Althorne, Essex, UK

1110000002 Posts

Quote:
 Originally Posted by kriesel Not sure why the server seems to have gotten that one wrong.
I'm glad to see I am not the only one that thought it was wrong! Perhaps because I specifically requested PRP, although I'm a bit surprised.

I reserved 16 exponents for PRP tests, and every one was of the form
Code:
PRP=xxx,1,2,exponent,-1,76,0,3,1
Thank you for editing the post where I left the assignment ID. I realised I'd screwed up, and was about to edit it, but see you beat me to it.

Dave

Last fiddled with by drkirkby on 2021-05-29 at 19:10

2021-06-04, 23:22   #5
Happy5214

"Alexander"
Nov 2008
The Alamo City

11000001112 Posts

Quote:
 Originally Posted by drkirkby Code: PRP=(aid redacted),1,2,108792767,-1,76,2
If you're doing a PRP with proof, wouldn't you only save ~1 test (not 2) by finding a P-1 factor, since the certification time pales in comparison to the first test?

Last fiddled with by Happy5214 on 2021-06-04 at 23:24 Reason: Quoting relevant code block

 2021-06-05, 11:54 #6 LaurV Romulan Interpreter     "name field" Jun 2011 Thailand 24×613 Posts Yes, when referring to P95-given assignments, that is remnant from old LL age. Nowadays you only save one test and the cert time (which is about a fifth of a test, or less, depending on the power you use in generating the cert). However, there is nothing wrong with using 2, for example, with manual P-1 assignments, people (me included) use to artificially raise the number to 3, 5, etc (i.e. manually editing it), to cheat P-1 bounds calculation into using a larger B1 (and if you have memory, B2 too). This way you will spend a little bit more time doing P-1, but increase your chances of finding a larger factor. This is better than using a "hard" larger B1 (specified in command line or in worktodo file for gpuOwl, for example), because in this case the bound is "flexible", it depends on the exponent, it is not fixed. Last fiddled with by LaurV on 2021-06-05 at 11:59
2021-06-05, 12:22   #7
kriesel

"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

5·7·132 Posts

Quote:
 Originally Posted by LaurV cert time (which is about a fifth of a test, or less, depending on the power you use in generating the cert
Normally FAR less than a fifth; generally under 1%. For example, Gpuowl v6.11-380's default proof power is 8, which takes overall effort for proof generation, server processing, and verification (CERT) of 0.41% of a primality test. Content there IIRC re proof costs is a reviewed summary of statements made by Prime95 and Preda. https://www.mersenneforum.org/showpo...45&postcount=4 So: relative to cost of a single primality test, LL & LLDC without error, 2; LL & LLDC with usual error rates at p~104M ~2.04 tests equivalent; PRP & PRPDC without proof, ~2.00; PRP & proof, 1.0041 for power 8. Note the proof cost for power 9 is about the same as the 0.2-0.3% cost of GEC or Jacobi checks.

Last fiddled with by kriesel on 2021-06-06 at 16:40

2021-06-05, 13:01   #8
drkirkby

"David Kirkby"
Jan 2021
Althorne, Essex, UK

26×7 Posts

Quote:
 Originally Posted by LaurV However, there is nothing wrong with using 2, for example, with manual P-1 assignments, people (me included) use to artificially raise the number to 3, 5, etc (i.e. manually editing it), to cheat P-1 bounds calculation into using a larger B1 (and if you have memory, B2 too). This way you will spend a little bit more time doing P-1, but increase your chances of finding a larger factor. This is better than using a "hard" larger B1 (specified in command line or in worktodo file for gpuOwl, for example), because in this case the bound is "flexible", it depends on the exponent, it is not fixed.
What's your reason for wanting to find a large factor? I can think of three possible reasons.
a) You like hunting for factors. I know many people do, as they have a better success rate than those looking for just Mersenne primes.
b) To reduce the probability of you needing to run the more computationally expensive PRP test.
c) A reason I can't think of.

If your only interest is finding Mersenne Prime numbers, then is it not counterproductive to run a larger range of B1 and B2? It would seem from

https://www.mersenne.org/various/math.php#p-1_factoring
that the optimal values of B1 and B2 are worked out, based on maximising the equation
Code:
chance_of_finding_factor * primality_test_cost - factoring_cost

Last fiddled with by drkirkby on 2021-06-05 at 13:02

 2021-06-06, 13:38 #9 LaurV Romulan Interpreter     "name field" Jun 2011 Thailand 24×613 Posts Our motivations vary. Our force, as a group, stays in the fact that we are different.
 2021-07-22, 00:57 #10 Siegmund     Mar 2014 648 Posts I had just peeked in to ask whether P-1 factoring bounds were being set higher than they should be... I noticed today that a recent PRP assignment was doing P-1 on the basis of saving two tests rather than one... and am happy to see that there was already a thread about it, and there's an easy way I might manually change an assignment to tell it it saves only 1 test. It does seem like the default ought to be 2 for LL testers and only 1 for PRP testers.
2021-07-22, 01:15   #11
chalsall
If I May

"Chris Halsall"
Sep 2002

100111001110012 Posts

Quote:
 Originally Posted by Siegmund It does seem like the default ought to be 2 for LL testers and only 1 for PRP testers.
You are not incorrect.

But, some of the ones doing P-1 (or even P+1) simply like to find factors.

Let them work.

Others will come behind to clean up.

 Similar Threads Thread Thread Starter Forum Replies Last Post fenderbender Math 14 2007-07-28 23:24 hyderman Homework Help 7 2007-06-17 06:01 dsouza123 Math 6 2006-11-18 16:10 LoKI.GuZ Hardware 1 2004-01-26 20:05 Boulder Software 2 2003-08-20 11:55

All times are UTC. The time now is 20:21.

Mon Nov 29 20:21:00 UTC 2021 up 129 days, 14:50, 0 users, load averages: 1.44, 1.59, 1.49