mersenneforum.org Leyland Primes
 Register FAQ Search Today's Posts Mark Forums Read

2022-07-03, 14:51   #1
storm5510
Random Account

Aug 2009
Not U. + S.A.

2×33×47 Posts
Leyland Primes

Member pxp has a data table of Leyland primes here. I decided to do an experiment based on two items in his table. Lines 519 and 521. (6255,1496) and (6312,1427). I created a sieve within the rules of what rogue's xyyxsieve program would allow. I ran the results with OpenPFGW. I wasn't expecting to find anything, but I did. The below took about 18 hours of run time. I stopped the process at this point.

Quote:
 1347^6200-6200^1347 1449^6218-6218^1449 2282^6221-6221^2282 2301^6212-6212^2301 3068^6219-6219^3068
All of these are 3-PRP yet do not appear in pxp's table. My conclusion is that 3-PRP does not necessarily mean "prime." PRP alone means probably prime. I don't understand the significance of the "3" in front. To prove primality on expressions in this form, a further test must be ran, I suspect. I have no idea what this might be done with.

2022-07-03, 15:13   #2
paulunderwood

Sep 2002
Database er0rr

5×29×31 Posts

Quote:
 Originally Posted by storm5510 Member pxp has a data table of Leyland primes here. I decided to do an experiment based on two items in his table. Lines 519 and 521. (6255,1496) and (6312,1427). I created a sieve within the rules of what rogue's xyyxsieve program would allow. I ran the results with OpenPFGW. I wasn't expecting to find anything, but I did. The below took about 18 hours of run time. I stopped the process at this point. All of these are 3-PRP yet do not appear in pxp's table. My conclusion is that 3-PRP does not necessarily mean "prime." PRP alone means probably prime. I don't understand the significance of the "3" in front. To prove primality on expressions in this form, a further test must be ran, I suspect. I have no idea what this might be done with.
PRP means Probable Prime. That probability might be 99.999999999999% but it is not 100%. Some numbers that are 3-PRP are not prime. For example 91 = 7*13. That is 91 is a base 3 Fermat pseudoprime.

A number n being Fermat 3-PRP means 3^(n-1)==1 mod n. Due to fast left-right exponentiation and for large numbers using FFT further speeds up testing. But is is not 100%. For this we need some other method of proof. If we can get just over 25% factorization of n-1 and n+1, there are quick methods akin in speed to a PRP test.

If no easy method is to be had then we have to use something like ECPP which uses the arithmetic of elliptic curves. The most recent incarnation is Andreas Enge's CM program. A PRP test might take minutes on a single core, whereas ECPP might take weeks on a multicore system.

I think why your found numbers are not in pxp's table is that they are not of the form x^y+y^x.

Last fiddled with by paulunderwood on 2022-07-03 at 15:26

 2022-07-03, 15:41 #3 kar_bon     Mar 2006 Germany 3·7·11·13 Posts You should look here in this forum for the minus-kind of Leyland numbers and also this page. All your found PRPs are listed there and already inserted in FactorDB before 2018.
2022-07-03, 17:18   #4
storm5510
Random Account

Aug 2009
Not U. + S.A.

1001111010102 Posts

Quote:
 Originally Posted by paulunderwood ...If no easy method is to be had then we have to use something like ECPP which uses the arithmetic of elliptic curves. The most recent incarnation is Andreas Enge's CM program. A PRP test might take minutes on a single core, whereas ECPP might take weeks on a multicore system. I think why your found numbers are not in pxp's table is that they are not of the form x^y+y^x.
"Andreas Enge's CM" appears to be a Linux program. I didn't see anything Windows based.

I didn't know Leylands were "+" only. I should have paid more attention. It is even in the topic title.
Quote:
 Originally Posted by kar_bon You should look here in this forum for the minus-kind of Leyland numbers and also this page. All your found PRPs are listed there and already inserted in FactorDB before 2018.
I appreciate the links. I looked at both. FactorDB seems a bit difficult to navigate. I need to spend more time with it. Perhaps I could find something in there which might indicate a valid range to test.

I changed the sign in my sieve to "+" and sieved to P = 50,000,000. Instead of having thousands of candidates, there were only 90.

2022-07-03, 19:40   #5
xilman
Bamboozled!

"๐บ๐๐ท๐ท๐ญ"
May 2003
Down not across

2·73·17 Posts

Quote:
 Originally Posted by storm5510 "Andreas Enge's CM" appears to be a Linux program. I didn't see anything Windows based.
"Andreas Enge's CM" is a program.

It works just as well (exactly the same, in fact) under Windows, MacOS, BSD and anything else to which the GMP library has been ported.

The only reason I have not yet run it under Windows is that I haven't yet bothered to try. I plead guilty to the charge of laziness.

That that you didn't see anything says much more about your observational ability than anything else.

2022-07-03, 23:47   #6
storm5510
Random Account

Aug 2009
Not U. + S.A.

253810 Posts

Quote:
 Originally Posted by xilman ..That that you didn't see anything says much more about your observational ability than anything else.
Everything I saw was "tar" and/or "gz." I will have to look again. My observational ability is far less than it used to be. I won't say more because I have already been belittled for it once. I may have to quit on all this in a year or so.

2022-07-04, 14:32   #7
xilman
Bamboozled!

"๐บ๐๐ท๐ท๐ญ"
May 2003
Down not across

2×73×17 Posts

Quote:
 Originally Posted by storm5510 Everything I saw was "tar" and/or "gz." I will have to look again. My observational ability is far less than it used to be. I won't say more because I have already been belittled for it once. I may have to quit on all this in a year or so.
tar and gz are storage formats. They are completely OS agnostic.

Windows has been able to read them for over twenty years to my knowledge - back when I worked for MSFT.

 Similar Threads Thread Thread Starter Forum Replies Last Post Batalov XYYXF Project 610 2023-02-01 10:00 Batalov XYYXF Project 57 2022-06-30 17:24 JeppeSN XYYXF Project 2 2020-08-17 09:26 davar55 Puzzles 9 2016-03-15 20:55 TimSorbet Lounge 5 2014-10-29 07:28

All times are UTC. The time now is 11:31.

Tue Feb 7 11:31:36 UTC 2023 up 173 days, 9 hrs, 1 user, load averages: 1.44, 1.30, 1.23