mersenneforum.org  

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

Reply
 
Thread Tools
Old 2022-06-20, 22:38   #12
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

2×17×193 Posts
Default

Quote:
Originally Posted by chalsall View Post
... do an exhaustive search ...
Extensive?

I can't imagine even a dedicated Quantum Holographic Blockchain 1nm ASIC AGI that could do an exhaustive search over the integers!
I hope I used enough trendy buzzwords to make it sound like a futuristic super computer.
retina is offline   Reply With Quote
Old 2022-06-20, 22:49   #13
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

7×17×89 Posts
Default

Quote:
Originally Posted by retina View Post
Extensive?

I can't imagine even a dedicated Quantum Holographic Blockchain 1nm ASIC AGI that could do an exhaustive search over the integers!
I hope I used enough trendy buzzwords to make it sound like a futuristic super computer.
Cute.
chalsall is offline   Reply With Quote
Old 2022-06-21, 07:36   #14
rebirther
 
rebirther's Avatar
 
Sep 2011
Germany

132×19 Posts
Default

There were 2 BOINC Projects in the past Beal@home, BealF@home, nobody knows why they are gone, they had already a working app.
rebirther is offline   Reply With Quote
Old 2022-06-21, 15:31   #15
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

43448 Posts
Default

Quote:
Originally Posted by chalsall View Post
Yeah...

In at least one case it has been well documented that if you're going to do an exhaustive search, it is best to use C. If not hand-crafted assembly, tuned to each processor...
I thought about C++ as a console program. No need for the GUI baggage. I recognize it when I see it, but little more.

Yafu can do this, to a point. I tried a few things in the form of ax + by. It is capable of quite large exponentiation. Implementation could be a problem with the comparison. e.g. to cz
storm5510 is offline   Reply With Quote
Old 2022-06-21, 18:20   #16
kriesel
 
kriesel's Avatar
 
"TF79LL86GIMPS96gpu17"
Mar 2017
US midwest

1A1016 Posts
Default

Quote:
Originally Posted by storm5510 View Post
Implementation could be a problem with the comparison. e.g. to cz
Compute ax+by-cz and compare to zero.

Last fiddled with by kriesel on 2022-06-21 at 18:21
kriesel is online now   Reply With Quote
Old 2022-06-21, 20:57   #17
bsquared
 
bsquared's Avatar
 
"Ben"
Feb 2007

70638 Posts
Default

Quote:
Originally Posted by storm5510 View Post
I thought about C++ as a console program. No need for the GUI baggage. I recognize it when I see it, but little more.

Yafu can do this, to a point. I tried a few things in the form of ax + by. It is capable of quite large exponentiation. Implementation could be a problem with the comparison. e.g. to cz
I am not recommending yafu for this problem, quite the opposite in fact, but it does have the operator "eq" for comparison:

Code:
>> eq(137998080^3+940896^4,1359072^4)

ans = 1

>> eq(60000000000000000000^3+70000000000000000000^3,82376613842809255677^3)

ans = 0
bsquared is offline   Reply With Quote
Old 2022-06-21, 21:08   #18
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

5·7·283 Posts
Default

Quote:
Originally Posted by storm5510 View Post
Implementation could be a problem with the comparison. e.g. to cz
In most implementations, you don't know c or z. And why would scan over those? Wasteful.

It is simpler than that, you sum ax + by, then run any implementation of ispower() on the result and ispower() will return 1 or 2 (which is of no use) ... or >2 and only then you have the solution.

With the disclaimer that this is just an answer to "your" approach. The real approach is that there are tons of theoretical results on restrictions on what triples are even eligible to start search. Those should be used and that will be 99% of the code. Checking a double for loop with ispower() inside is <1% of the "code".
Batalov is offline   Reply With Quote
Old 2022-06-21, 21:15   #19
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

5×7×283 Posts
Default

Quote:
Originally Posted by rebirther View Post
There were 2 BOINC Projects in the past Beal@home, BealF@home, nobody knows why they are gone, they had already a working app.
For all you know, they could have been simply mining for bitcoins (for the owner of course, not for the unsuspecting participants) and pretending to do the relevant work.
There were quite a few of such fake "BLABLA@Home" projects. Beware.
Batalov is offline   Reply With Quote
Old 2022-06-21, 22:07   #20
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

101001010111112 Posts
Default

Quote:
Originally Posted by storm5510 View Post
I thought about C++ as a console program. No need for the GUI baggage. I recognize it when I see it, but little more.
Please trust me on this...

A beginner should not start with C++. It can actually be implemented using only macros, and confuses the beginner.

Either start with C, and enjoy "all the power, and all the safety features, of a chain saw.

Or start with something that holds your hand while you make mistakes. Like Python. Or Rust. Or Go. Or Perl...

Quote:
Originally Posted by storm5510 View Post
Yafu can do this, to a point.
That's an independant code path (wrapped into an executable). Not a language.
chalsall is offline   Reply With Quote
Old 2022-06-22, 13:54   #21
storm5510
Random Account
 
storm5510's Avatar
 
Aug 2009
Not U. + S.A.

1000111001002 Posts
Default

Quote:
Originally Posted by chalsall View Post
Please trust me on this...

A beginner should not start with C++. It can actually be implemented using only macros, and confuses the beginner.

Either start with C, and enjoy "all the power, and all the safety features, of a chain saw.

Or start with something that holds your hand while you make mistakes. Like Python. Or Rust. Or Go. Or Perl...
I had a Borland C variant back in the early '90's. It was console only. There were not that many GUI programs for Windows 3.x. I managed to write a few things with it. I sold the package to a trade school mate later on.

I don't recognize the names Rust and Go. Three years ago, and with some help from a member here, I managed to teach myself enough Perl to be dangerous. I didn't stick with it though.

Quote:
Originally Posted by kriesel
Compute ax + by - cz and compare to zero.
An excellent idea and one I might not have though of.

What I am using now, I won't mention the name because I don't want to be scoffed at. It has hundreds of libraries which only requires an "include" type statement at the top. One library is called "BigInt." I managed to get it to display something around 21150, more or less. It would not go much beyond that.
storm5510 is offline   Reply With Quote
Old 2022-06-22, 14:32   #22
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

3×13×293 Posts
Default

Quote:
Originally Posted by storm5510 View Post
What I am using now, I won't mention the name because I don't want to be scoffed at. It has hundreds of libraries which only requires an "include" type statement at the top. One library is called "BigInt." I managed to get it to display something around 21150, more or less. It would not go much beyond that.
Here is how I include a library into many of my number theory programs.

use bigint lib=>'GMP';


And here is how I test for primality of fairly small numbers (up to 1200 digits say)

# Primality testing function.
# Initial sanity check to see whether Pari/gp is installed and working correctly.
my $sc1 = `echo "isprime(1074884750872101952308847649628260864479,2)" | /usr/bin/gp -f -q`; # Known prime.
my $sc2 = `echo "isprime(1074884750872101952308847649628260864481,2)" | /usr/bin/gp -f -q`; # Known composite.
($sc1 != 1 or $sc2 != 0) and die "Failed gp sanity check\n";
sub is_prime($)
{
return `echo "isprime($_[0],2)" | /usr/bin/gp -f -q -s 104857600` == 1;
}


Scoff at me if you like.

The take home message is that it is largely irrelevant what the fancy bits is written in as long as all the computationally intensive work is done with a highly optimized library.
xilman is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Beal's conjecture ..........not Awojobi Miscellaneous Math 14 2022-04-12 04:56
Can we prove Beal conjecture assuming ABC conjecture? didgogns Miscellaneous Math 1 2020-08-05 06:51
The Beal Conjecture Proof Arxenar Miscellaneous Math 1 2013-09-07 09:59
Distributed Beal Conjecture Problem Joshua2 Math 54 2009-10-19 02:21
New Beal Conjecture Search Joshua2 Open Projects 0 2009-04-20 06:58

All times are UTC. The time now is 21:21.


Mon Aug 15 21:21:36 UTC 2022 up 39 days, 16:08, 1 user, load averages: 1.69, 1.42, 1.36

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.

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