mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Math

Reply
 
Thread Tools
Old 2014-11-19, 10:11   #1
siegert81
 
Dec 2010

2×37 Posts
Default How can I prove this PRP prime?

According to PFGW, 1816 x (2^3217 - 1) + 1 is a PRP.

(FYI: 2^3217 - 1 is a Mersenne prime.)

I thought PFGW would use Pocklington's test as N-1 is easy to completely factor.

Am I missing a switch in PFGW?
Is there an alternative to Pocklington's test?
siegert81 is offline   Reply With Quote
Old 2014-11-19, 10:20   #2
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

5·701 Posts
Default

Put the Mersenne in a "helper file":

Code:
$ cat > helper.txt
2^3217-1
Code:
$ ./pfgw64 -t -hhelper.txt -q"1816*(2^3217-1)+1"
PFGW Version 3.7.7.64BIT.20130722.x86_Dev [GWNUM 27.11]

Primality testing 1816*(2^3217-1)+1 [N-1, Brillhart-Lehmer-Selfridge]                                    
Reading factors from helper file helper.txt
Running N-1 test using base 3                                                  
Calling Brillhart-Lehmer-Selfridge with factored part 99.66%
1816*(2^3217-1)+1 is prime! (0.0244s+0.0037s)

Last fiddled with by paulunderwood on 2014-11-19 at 10:22
paulunderwood is offline   Reply With Quote
Old 2014-11-19, 10:24   #3
LaurV
Romulan Interpreter
 
LaurV's Avatar
 
Jun 2011
Thailand

214038 Posts
Default

You have to create a helper file, call it "m18.prm" (the name and extension totally up to you) and write inside a single line "2^3217-1", without quotes, and followed by an enter (carriage return).
Then you make a worktodo file, call it work_18.txt, or whatever, in which you put the work to do (it is an ABC2 file, etc).
Then launch pwgw with something like

Code:
pfgw64 -t -lmm_18.log -hm18.prm work_18.txt
etc.

PFGW doesn't know that M18 is prime, he can't do LL tests. You have to specify this in -h file and he'll trust you.

Last fiddled with by LaurV on 2014-11-19 at 10:25
LaurV is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
I have to prove everything PawnProver44 Miscellaneous Math 40 2016-03-19 07:33
I take a known prime and prove it to be a composite (..or maybe need help?) storflyt32 storflyt32 112 2015-01-09 04:19
Is this to prove/already known? MatWur-S530113 Math 4 2007-06-27 05:35
How do I prove a 4000 digit number is prime?? VJS Lounge 4 2005-05-09 20:56
How do you prove a number is prime? Alien Math 12 2004-01-07 11:36

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

Fri Dec 4 18:35:42 UTC 2020 up 1 day, 14:47, 0 users, load averages: 1.73, 1.54, 1.51

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.