mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > XYYXF Project

Reply
 
Thread Tools
Old 2022-06-28, 16:50   #518
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

23×3×97 Posts
Default

Quote:
Originally Posted by rogue View Post
He has a special build of xyyxsieve because the way he is testing ranges is based upon decimal length of the candidates. The "out of the box" xyyxsieve is more efficient with a relatively square workspace, i.e. the range of x and y are similar in size. At one time I was working on changing xyyxsieve to be provide the "best of both worlds", but I couldn't get it to work and gave up. I might return to it someday.

The biggest challenge with xyyxsieve is that it is most efficient to sieve a very large search space once than to break that up into smaller chunks. But with a very large search space one needs a lot of memory.
On the surface, x^y + y^x does not seem all that complex. It is what surrounds it that could be very complex. Very large numbers, for one. What would qualify as a PRP candidate and what would not seems really fuzzy, to me, as each iteration would have some sort of result. I tried a few small ones with Windows Calculator. What I got was even numbers or those evenly divisible by 5. It did not take much to get into numbers larger than 1e9 either.
storm5510 is offline   Reply With Quote
Old 2022-06-28, 17:48   #519
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

32·1,277 Posts
Default

Quote:
Originally Posted by storm5510 View Post
On the surface, x^y + y^x does not seem all that complex. It is what surrounds it that could be very complex. Very large numbers, for one.
That is why I drew them to people's attention. Simple representation, few clearly usable algebraic properties, observed high(-ish) density of (pseudo-)primes and a wide range of sizes.
xilman is offline   Reply With Quote
Old 2022-06-28, 18:47   #520
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

1A5016 Posts
Default

Quote:
Originally Posted by storm5510 View Post
On the surface, x^y + y^x does not seem all that complex. It is what surrounds it that could be very complex. Very large numbers, for one. What would qualify as a PRP candidate and what would not seems really fuzzy, to me, as each iteration would have some sort of result. I tried a few small ones with Windows Calculator. What I got was even numbers or those evenly divisible by 5. It did not take much to get into numbers larger than 1e9 either.
Removing terms with small divisors is trivial. One is basically removing terms where x^y = - y^x. The optimizations come from computing x^y from miny to maxy and y^x from minx to maxy. How much memory is needed is based upon the number of terms * number of primes tested per execution of an unrolled loop.

When I last tested a range for all 20000 < x < 30000 and 5000 < y < 30000, I still had over 3 million terms left at 15e9 after many days of sieving.

So if you consider that a GPU can do hundreds of primes at a time, one quickly sees that memory is going to be an issue. In fact the movement of data between GPU and CPU is the bottleneck. Still faster than CPU alone, but a noticeable bottleneck. I would like to try this on an Apple M1 since the CPU and GPU share memory. I have not finished the work to port to Metal as I haven't had time to work on it.
rogue is offline   Reply With Quote
Old 2022-06-28, 21:59   #521
pxp
 
pxp's Avatar
 
Sep 2010
Weston, Ontario

233 Posts
Default

Quote:
Originally Posted by rogue View Post
So if you consider that a GPU can do hundreds of primes at a time, one quickly sees that memory is going to be an issue. In fact the movement of data between GPU and CPU is the bottleneck. Still faster than CPU alone, but a noticeable bottleneck. I would like to try this on an Apple M1 since the CPU and GPU share memory. I have not finished the work to port to Metal as I haven't had time to work on it.
Just a couple of observations from my Mac-centric perspective. First, for my iMacs I've always been very generous with my RAM, making sure of course that it is purchased from a seller other than Apple! User-installable RAM is not an option on a Mac mini so I have been more frugal there. My current two main (Intel) iMacs each have 128 GB installed. Second, when I ordered an M1 Mac mini (lured by an extra 2 cores) to supplement my existing Intel versions, I was very disappointed by its performance and didn't use it at all for many months. I forget if I was doing xyyxsieve or your pfgw64 for the test but it was likely xyyxsieve because I have been using all 8 cores of the M1 to test some million-digit Leyland candidates for primality and its performance is quite good (in spite of my recent finding that perhaps I shouldn't be using all the cores available). More problematic (for me) is that 3 of my most-recently-acquired Intel Mac minis (running 10.15.7), which were running as fast (or faster) than the 9 older ones (running 10.14.6) when I was doing the 300000-digits search, are running poorly in the million-digit search. I think the only change in those newer minis is a security update.
pxp is offline   Reply With Quote
Old 2022-06-28, 23:50   #522
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

23×3×97 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
mtsieve + OpenPFGW is my guess
I have seen ABCD and similar before. It was when I was running Riesel primes for a project four years ago. It has been so long that I do not remember how to run them. I could not get OpenPFGW to accept anything I presented to it. Then, I tried the below:

Quote:
ABC2 $a^$b+$b^$a
a: from 2300 to 2320
b: from 2300 to 2320
It accepted this. It is based on a sample from a document file. It would overwrite each output line, something I prefer it not to do. I would have to study the documentation more.

Many thanks!
storm5510 is offline   Reply With Quote
Old 2022-06-29, 00:53   #523
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

24·421 Posts
Default

Quote:
Originally Posted by storm5510 View Post
I have seen ABCD and similar before. It was when I was running Riesel primes for a project four years ago. It has been so long that I do not remember how to run them. I could not get OpenPFGW to accept anything I presented to it. Then, I tried the below:

It accepted this. It is based on a sample from a document file. It would overwrite each output line, something I prefer it not to do. I would have to study the documentation more.

Many thanks!
Use -Cverbose with pfgw. But sieving, even to a small depth, saves significant time.
rogue is offline   Reply With Quote
Old 2022-06-29, 00:55   #524
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

24×421 Posts
Default

Quote:
Originally Posted by pxp View Post
Just a couple of observations from my Mac-centric perspective. First, for my iMacs I've always been very generous with my RAM, making sure of course that it is purchased from a seller other than Apple! User-installable RAM is not an option on a Mac mini so I have been more frugal there. My current two main (Intel) iMacs each have 128 GB installed. Second, when I ordered an M1 Mac mini (lured by an extra 2 cores) to supplement my existing Intel versions, I was very disappointed by its performance and didn't use it at all for many months. I forget if I was doing xyyxsieve or your pfgw64 for the test but it was likely xyyxsieve because I have been using all 8 cores of the M1 to test some million-digit Leyland candidates for primality and its performance is quite good (in spite of my recent finding that perhaps I shouldn't be using all the cores available). More problematic (for me) is that 3 of my most-recently-acquired Intel Mac minis (running 10.15.7), which were running as fast (or faster) than the 9 older ones (running 10.14.6) when I was doing the 300000-digits search, are running poorly in the million-digit search. I think the only change in those newer minis is a security update.
From what I have read on the M1 Macs is that it isn't clear how to get applications to run on the performance cores. I want to get a PRP testing program running on it natively. Obviously gwnum is not an option for "natively". There are a couple of options, such as proth20, which I can convert to Metal (if necessary), but that is only for k*2^n+1 numbers right now.

Last fiddled with by rogue on 2022-06-29 at 00:57
rogue is offline   Reply With Quote
Old 2022-06-29, 05:59   #525
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

23×3×97 Posts
Default

Quote:
Originally Posted by rogue View Post
Use -Cverbose with pfgw. But sieving, even to a small depth, saves significant time.
Using -Cverbose, the output is nearly identical with what it was when I was running Riesel's.

It appears in many posts I looked at above, everyone was using five-digit numbers. I will just run something smaller for an overnight test. Do they have something they are choosing them from?

Thanks!
storm5510 is offline   Reply With Quote
Old 2022-06-29, 13:05   #526
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

24·421 Posts
Default

Quote:
Originally Posted by storm5510 View Post
Do they have something they are choosing them from?
Go to their project page.
rogue is offline   Reply With Quote
Old 2022-06-29, 14:40   #527
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

23×3×97 Posts
Default

Quote:
Originally Posted by rogue View Post
Go to their project page.
Very well.

Going back through the pages, I found a Windows build of xyyxsievecl. I studied the area around page 35. It has been a bit tough to get it to run.
storm5510 is offline   Reply With Quote
Old 2022-06-29, 16:27   #528
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

1A5016 Posts
Default

Quote:
Originally Posted by storm5510 View Post
Very well.

Going back through the pages, I found a Windows build of xyyxsievecl. I studied the area around page 35. It has been a bit tough to get it to run.
The latest build of xyyxsievecl is in the mtsieve page. This assume you have an OpenCL compatible GPU. You might need to d/l drivers.
rogue is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Mersenne Primes p which are in a set of twin primes is finite? carpetpool Miscellaneous Math 4 2022-07-14 02:29
Leyland Primes: ECPP proofs Batalov XYYXF Project 57 2022-06-30 17:24
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 02:04.


Thu Sep 29 02:04:43 UTC 2022 up 41 days, 23:33, 0 users, load averages: 0.57, 0.79, 0.88

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.

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