mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > And now for something completely different

Reply
 
Thread Tools
Old 2022-05-13, 18:29   #67
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

100408 Posts
Default

Quote:
Originally Posted by xilman View Post
Anyone any idea how long it generally takes factordb to verify a certificate?

3178^1543+1543^3178 is still in the Processing state.
Quote:
System load
Load average, last minute 25.75
Load average, last 5 minutes 26.17
Load average, last 15 minutes 26.76
(FactorDB)

Last fiddled with by paulunderwood on 2022-05-13 at 18:34
paulunderwood is online now   Reply With Quote
Old 2022-05-13, 22:52   #68
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

11·19·47 Posts
Arrow

Reposting an update from Andreas (this is re: "some stage 1 steps may search quite long"; now shorter)
Quote:
Am Thu, May 12, 2022 at 10:49:11AM +0200 schrieb Andreas Enge:
> Instead of backtracking, I noticed that I could also relax some
> constraints in my code.

this is now implemented, and can be downloaded from the git or as a
tarball from the website at
https://www.multiprecision.org/cm/

Thanks for the report, which forced me to address this known problem!

As said, I do not intend to implement backtracking :)
If you happen to come along a new problematic number that is not gracefully handled by the new implementation, please do not hesitate to complain.

Enjoy the weekend,
Andreas
Refresh your copy of the code. - the corresponding version can also be downloaded as a tarball with a signature.
Batalov is offline   Reply With Quote
Old 2022-05-13, 22:56   #69
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

11×19×47 Posts
Default

Quote:
Originally Posted by xilman View Post
Anyone any idea how long it generally takes factordb to verify a certificate?

3178^1543+1543^3178 is still in the Processing state.
The 50001-digit cert verified in just a day or two. I've seen some Primo certs (much smaller) to take way longer to verify.
Batalov is offline   Reply With Quote
Old 2022-05-14, 10:57   #70
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

260438 Posts
Default

Quote:
Originally Posted by Batalov View Post
Reposting an update from Andreas (this is re: "some stage 1 steps may search quite long"; now shorter)

Refresh your copy of the code. - the corresponding version can also be downloaded as a tarball with a signature.
Anyone had problems with the git version?

There is no configure script, which is fair enough, but running autoconf produces
Code:
pcl@thoth:~/nums/cm$ autoconf
configure.ac:29: error: possibly undefined macro: AM_INIT_AUTOMAKE
      If this token and others are legitimate, please use m4_pattern_allow.
      See the Autoconf documentation.
configure.ac:30: error: possibly undefined macro: AM_MAINTAINER_MODE
configure.ac:92: error: possibly undefined macro: AM_CONDITIONAL
pcl@thoth:~/nums/cm$ ./configure
configure: error: cannot find required auxiliary files: config.guess config.sub
pcl@thoth:~/nums/cm$
Not entirely sure what to do next.
xilman is offline   Reply With Quote
Old 2022-05-14, 11:07   #71
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

2C2316 Posts
Default

Quote:
Originally Posted by xilman View Post
Anyone had problems with the git version?

There is no configure script, which is fair enough, but running autoconf produces
Code:
pcl@thoth:~/nums/cm$ autoconf
configure.ac:29: error: possibly undefined macro: AM_INIT_AUTOMAKE
      If this token and others are legitimate, please use m4_pattern_allow.
      See the Autoconf documentation.
configure.ac:30: error: possibly undefined macro: AM_MAINTAINER_MODE
configure.ac:92: error: possibly undefined macro: AM_CONDITIONAL
pcl@thoth:~/nums/cm$ ./configure
configure: error: cannot find required auxiliary files: config.guess config.sub
pcl@thoth:~/nums/cm$
Not entirely sure what to do next.
Remembered to start with aclocal (doh!) but now get
Code:
pcl@thoth:~/nums/cm$ ./configure
configure: error: cannot find required auxiliary files: ltmain.sh compile config.guess config.sub missing install-sh
pcl@thoth:~/nums/cm$
xilman is offline   Reply With Quote
Old 2022-05-14, 13:58   #72
WraithX
 
WraithX's Avatar
 
Mar 2006

3×173 Posts
Default

Quote:
Originally Posted by xilman View Post
Remembered to start with aclocal (doh!) but now get
Code:
pcl@thoth:~/nums/cm$ ./configure
configure: error: cannot find required auxiliary files: ltmain.sh compile config.guess config.sub missing install-sh
pcl@thoth:~/nums/cm$
Not sure how much this will help, but here are some notes from the gmp-ecm README.dev file:
Code:
To use the autotools:

$ libtoolize
$ autoheader
$ aclocal
$ automake -c -a
$ autoconf
$ ./configure --with-gmp=<directory_where_gmp_is_installed>
$ make
$ make check

Alternatively, you can simply type:

$ autoreconf -i
$ ./configure --with-gmp=<directory_where_gmp_is_installed>
$ make
$ make check
Perhaps some combination of the first group of instructions will help? :fingerscrossed: At least until someone more knowledgeable chimes in.
WraithX is offline   Reply With Quote
Old 2022-05-14, 14:41   #73
xilman
Bamboozled!
 
xilman's Avatar
 
"๐’‰บ๐’ŒŒ๐’‡ท๐’†ท๐’€ญ"
May 2003
Down not across

11,299 Posts
Default

Quote:
Originally Posted by WraithX View Post
Not sure how much this will help, but here are some notes from the gmp-ecm README.dev file:
Code:
To use the autotools:

$ libtoolize
$ autoheader
$ aclocal
$ automake -c -a
$ autoconf
$ ./configure --with-gmp=<directory_where_gmp_is_installed>
$ make
$ make check

Alternatively, you can simply type:

$ autoreconf -i
$ ./configure --with-gmp=<directory_where_gmp_is_installed>
$ make
$ make check
Perhaps some combination of the first group of instructions will help? :fingerscrossed: At least until someone more knowledgeable chimes in.
Andreas got back to me. The magic incantation is "autoreconf -vfi". A "git reset --hard" afterwards is advisable too.
xilman is offline   Reply With Quote
Old 2022-05-15, 17:13   #74
R. Gerbicz
 
R. Gerbicz's Avatar
 
"Robert Gerbicz"
Oct 2005
Hungary

25·72 Posts
Default

Quote:
Originally Posted by mathwiz View Post
This is pretty awesome. An open source ECPP implementation that is fast, pure C, and highly scalable with MPI.

Can't wait to see how this gets extended and improved. Hats off to Andreas!
Yeah. One very "trivial" improvement would come to call a faster prp routine, so not call the gmp's built-in mpz_probab_prime_p function. Maybe use pfgw, or directly using the gw library. Notice that the prp is costly in ecpp on all sizes, takes also O(log(N)^(4+eps)) time.
[For small numbers you can keep the gmp's routine, if that is the faster/fastest].

I have some other ideas on the code also, only what I can understand..
R. Gerbicz is online now   Reply With Quote
Old 2022-05-15, 19:53   #75
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

11·19·47 Posts
Default

Quote:
Originally Posted by xilman View Post
Andreas got back to me. The magic incantation is "autoreconf -vfi". A "git reset --hard" afterwards is advisable too.
I diffed all *.c and *.h files between two branches (and there were only 2 *.c files) - and then moved them to the branch were last build was. And then rebuilt there.
This is admittedly simplistic, but worked for this small change.
Code:
find . -name \*.[ch] -exec cmp ../cm0.4.0/{} {} \;
diff ...
diff ...
Batalov is offline   Reply With Quote
Old 2022-05-16, 11:09   #76
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

25×3×43 Posts
Default

Quote:
Originally Posted by R. Gerbicz View Post
Yeah. One very "trivial" improvement would come to call a faster prp routine, so not call the gmp's built-in mpz_probab_prime_p function. Maybe use pfgw, or directly using the gw library. Notice that the prp is costly in ecpp on all sizes, takes also O(log(N)^(4+eps)) time.
[For small numbers you can keep the gmp's routine, if that is the faster/fastest].

I have some other ideas on the code also, only what I can understand..
I tried unsuccessfully to get a return value from a system call to pfgw.

Now i have written gwnum code, but have no idea where to add a link to gwnum.a when compiling through the makefile system. Can somebody point me in the right direction, please. Usually I compile with

Code:
//gcc -o lucasPRP lucasPRP.c gwnum/gwnum.a gwnum/gwnum.ld -lm -lpthread -lstdc++
paulunderwood is online now   Reply With Quote
Old 2022-05-16, 17:12   #77
WraithX
 
WraithX's Avatar
 
Mar 2006

3×173 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
I tried unsuccessfully to get a return value from a system call to pfgw.

Now i have written gwnum code, but have no idea where to add a link to gwnum.a when compiling through the makefile system. Can somebody point me in the right direction, please. Usually I compile with

Code:
//gcc -o lucasPRP lucasPRP.c gwnum/gwnum.a gwnum/gwnum.ld -lm -lpthread -lstdc++
Put the file gwnum.a in the same folder that libgmp.a is in (not sure if gwnum.ld is needed, since I've never used it for anything).
I've renamed my gwnum.a file to libgwnum.a
Then, you can compile with:
Code:
//gcc -o lucasPRP lucasPRP.c -lgwnum -lm -lpthread -lstdc++
Renaming gwnum.a to libgwnum.a may not be needed as some compilers actually look for both when specifying -lgwnum in the compile command.
WraithX is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
For which types of primes is GPU primality test software available? bur GPU Computing 6 2020-08-28 06:20
Fastest software for Mersenne primality test? JonathanM Information & Answers 25 2020-06-16 02:47
APR-CL as primality proof f1pokerspeed FactorDB 14 2014-01-09 21:06
Proof of Primality Test for Fermat Numbers princeps Math 15 2012-04-02 21:49
PRIMALITY PROOF for Wagstaff numbers! AntonVrba Math 96 2009-02-25 10:37

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


Sat May 21 21:58:17 UTC 2022 up 37 days, 19:59, 0 users, load averages: 1.45, 1.30, 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.

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