mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Blogorrhea > storm5510

Reply
 
Thread Tools
Old 2022-07-03, 14:51   #1
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

3×52×31 Posts
Default 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.
storm5510 is offline   Reply With Quote
Old 2022-07-03, 15:13   #2
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

427910 Posts
Default

Quote:
Originally Posted by storm5510 View Post
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
paulunderwood is offline   Reply With Quote
Old 2022-07-03, 15:41   #3
kar_bon
 
kar_bon's Avatar
 
Mar 2006
Germany

3×991 Posts
Default

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.
kar_bon is offline   Reply With Quote
Old 2022-07-03, 17:18   #4
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

91516 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
...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.
storm5510 is offline   Reply With Quote
Old 2022-07-03, 19:40   #5
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

3·7·547 Posts
Default

Quote:
Originally Posted by storm5510 View Post
"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.
xilman is offline   Reply With Quote
Old 2022-07-03, 23:47   #6
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

91516 Posts
Default

Quote:
Originally Posted by xilman View Post
..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.
storm5510 is offline   Reply With Quote
Old 2022-07-04, 14:32   #7
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

3·7·547 Posts
Default

Quote:
Originally Posted by storm5510 View Post
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.
xilman is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Leyland Primes (x^y+y^x primes) Batalov XYYXF Project 589 2022-09-22 18:15
Leyland Primes: ECPP proofs Batalov XYYXF Project 57 2022-06-30 17:24
3 as Leyland prime? JeppeSN XYYXF Project 2 2020-08-17 09:26
On Leyland Primes davar55 Puzzles 9 2016-03-15 20:55
Leyland Numbers - Numberphile Mini-Geek Lounge 5 2014-10-29 07:28

All times are UTC. The time now is 15:55.


Mon Sep 26 15:55:27 UTC 2022 up 39 days, 13:24, 1 user, load averages: 2.21, 2.43, 2.42

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

โ‰  ยฑ โˆ“ รท ร— ยท โˆ’ โˆš โ€ฐ โŠ— โŠ• โŠ– โŠ˜ โŠ™ โ‰ค โ‰ฅ โ‰ฆ โ‰ง โ‰จ โ‰ฉ โ‰บ โ‰ป โ‰ผ โ‰ฝ โŠ โŠ โŠ‘ โŠ’ ยฒ ยณ ยฐ
โˆ  โˆŸ ยฐ โ‰… ~ โ€– โŸ‚ โซ›
โ‰ก โ‰œ โ‰ˆ โˆ โˆž โ‰ช โ‰ซ โŒŠโŒ‹ โŒˆโŒ‰ โˆ˜ โˆ โˆ โˆ‘ โˆง โˆจ โˆฉ โˆช โจ€ โŠ• โŠ— ๐–• ๐–– ๐–— โŠฒ โŠณ
โˆ… โˆ– โˆ โ†ฆ โ†ฃ โˆฉ โˆช โŠ† โŠ‚ โŠ„ โŠŠ โŠ‡ โŠƒ โŠ… โŠ‹ โŠ– โˆˆ โˆ‰ โˆ‹ โˆŒ โ„• โ„ค โ„š โ„ โ„‚ โ„ต โ„ถ โ„ท โ„ธ ๐“Ÿ
ยฌ โˆจ โˆง โŠ• โ†’ โ† โ‡’ โ‡ โ‡” โˆ€ โˆƒ โˆ„ โˆด โˆต โŠค โŠฅ โŠข โŠจ โซค โŠฃ โ€ฆ โ‹ฏ โ‹ฎ โ‹ฐ โ‹ฑ
โˆซ โˆฌ โˆญ โˆฎ โˆฏ โˆฐ โˆ‡ โˆ† ฮด โˆ‚ โ„ฑ โ„’ โ„“
๐›ข๐›ผ ๐›ฃ๐›ฝ ๐›ค๐›พ ๐›ฅ๐›ฟ ๐›ฆ๐œ€๐œ– ๐›ง๐œ ๐›จ๐œ‚ ๐›ฉ๐œƒ๐œ— ๐›ช๐œ„ ๐›ซ๐œ… ๐›ฌ๐œ† ๐›ญ๐œ‡ ๐›ฎ๐œˆ ๐›ฏ๐œ‰ ๐›ฐ๐œŠ ๐›ฑ๐œ‹ ๐›ฒ๐œŒ ๐›ด๐œŽ๐œ ๐›ต๐œ ๐›ถ๐œ ๐›ท๐œ™๐œ‘ ๐›ธ๐œ’ ๐›น๐œ“ ๐›บ๐œ”