mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > XYYXF Project

Reply
 
Thread Tools
Old 2021-06-10, 21:45   #463
pxp
 
pxp's Avatar
 
Sep 2010
Weston, Ontario

20010 Posts
Default

Since I am no longer using the final column of my Leyland prime indexing chart to indicate intervals, I've added a "P" therein for entries that I know are proven primes. That necessitated removing the "date approximate" for Selevich's L(8656,2929) and adding a "~" in front of that entry's date, which is how I had it originally. The indices of my chart are of course one greater than the indices of the Leyland "Prime Wiki" table because they are a reflection of OEIS A094133 which has a spurious first term.
pxp is offline   Reply With Quote
Old 2021-06-10, 22:16   #464
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

5×107 Posts
Default

Looking at that table, there are a lot of results that should be able to be proven in less than a day (at least) on "bigger" systems. Please correct me, if I am wrong here, frequent Primo users!

If correct, I'd like to reserve some of the smaller ones tomorrow for Primo. I will specify them futher then and also double check them on FactorDB.

In the list of kar_bon, maybe we should try to certify the "orange" entries, too?
kruoli is offline   Reply With Quote
Old 2021-06-11, 07:14   #465
xilman
Bamboozled!
 
xilman's Avatar
 
"π’‰Ίπ’ŒŒπ’‡·π’†·π’€­"
May 2003
Down not across

2·5,381 Posts
Default

Quote:
Originally Posted by bur View Post
Impressive compilation. Do you have data on which of the numbers are just PRPs? It would make a nice list of candidates for primo.
Not sure whether you realise this, but that's the reason why these numbers have been singled out and given a particular name.

Long ago I pointed out that they seem to have a reasonable density of primes of all sizes, have a very simple algebraic description and have no obvious properties which can be exploited by special-purpose algorithms.

Several have been used to set records for the size of a certified prime. They are frequently used, I believe, to test new implementations of general primality testing algorithms.
xilman is offline   Reply With Quote
Old 2021-06-14, 16:45   #466
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

21716 Posts
Default

Quote:
Originally Posted by kruoli View Post
If correct, I'd like to reserve some of the smaller ones tomorrow for Primo. I will specify them futher then and also double check them on FactorDB.
Excuse me for the delay. For now, I'd like to reserve only http://www.rieselprime.de/ziki/Leyland_prime_P_3222_553 and watch how long it takes on my machine. I guess that's better before I get overboard. After that finished, I'll report.
kruoli is offline   Reply With Quote
Old 2021-06-30, 05:24   #467
Yusuf
 
Jan 2020

23 Posts
Default

I found a new record for largest Leyland PRP
It is 386642 digits long (previous record is 386434 digits)
PRP: 81650^54369+54369^81650
Yusuf is offline   Reply With Quote
Old 2021-07-06, 13:22   #468
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

21716 Posts
Default

Quote:
Originally Posted by kruoli View Post
After that finished, I'll report.
It took around 18-20 h on a 5950X (all cores used). The certificate is uploaded. Who has to be informed to update the table? I guess we can wait with this until the numbers below are finished as well.

I'd like to reserve
  • \(L(3107, 712)\)
  • \(L(3710, 303)\)
  • \(L(5041, 70)\)
  • \(L(3099, 1078)\)
  • \(L(3782, 315)\)
  • \(L(3784, 315)\)
for Primo certification next. This are the six smallest Leyland PRPs (unproven) currently.
kruoli is offline   Reply With Quote
Old 2021-07-06, 15:40   #469
pxp
 
pxp's Avatar
 
Sep 2010
Weston, Ontario

23×52 Posts
Default

Quote:
Originally Posted by kruoli View Post
Who has to be informed to update the table?
I will update my table as your results come in.
pxp is offline   Reply With Quote
Old 2021-07-12, 20:02   #470
kruoli
 
kruoli's Avatar
 
"Oliver"
Sep 2017
Porta Westfalica, DE

5×107 Posts
Default

My reservations from above are now completed and are currently being processed by FactorDB. Thus, I'd like to reserve:
  • \(L(3178, 1005)\)
  • \(L(3185, 1182)\)
  • \(L(3171, 1256)\)
  • \(L(3081, 1568)\)
  • \(L(3070, 1781)\)
  • \(L(4504, 165)\)
  • \(L(6886, 29)\)
Since I already submitted some proofs to FactorDB for numbers which have been proven before independently but had no certificate on FactorDB, as soon as the above are completed, all Leyland primes below 10,000 digits will be certified in FactorDB. I checked this with a script; if I made some error, please correct me! Edit: There are three certificates missing which I cannot upload currently. Sorry.

As a personal side note, the last number in the list above will be my first 10k digit ECPP run. Knowing that this is not something impressive at all by itself, I am still pleased.

PS: I just saw FactorDB got a hardware upgrade. They now run:
  • CPU: AMD Ryzen 3700X
  • RAM: 2x16 GB
  • SSD: 3x1 TB RAID 5

Last fiddled with by kruoli on 2021-07-12 at 20:11 Reason: Certificates missing. Semantic clarifications.
kruoli is offline   Reply With Quote
Old 2021-07-13, 10:09   #471
NorbSchneider
 
NorbSchneider's Avatar
 
"Norbert"
Jul 2014
Budapest

6D16 Posts
Default

Another new PRP:
457^60454+60454^457, 160803 digits.
NorbSchneider is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Leyland Primes: ECPP proofs Batalov XYYXF Project 19 2021-07-20 21:07
Mersenne Primes p which are in a set of twin primes is finite? carpetpool Miscellaneous Math 3 2017-08-10 13:47
Distribution of Mersenne primes before and after couples of primes found emily Math 34 2017-07-16 18:44
On Leyland Primes davar55 Puzzles 9 2016-03-15 20:55
possible primes (real primes & poss.prime products) troels munkner Miscellaneous Math 4 2006-06-02 08:35

All times are UTC. The time now is 13:25.


Sun Jul 25 13:25:06 UTC 2021 up 2 days, 7:54, 1 user, load averages: 1.90, 2.02, 1.95

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