mersenneforum.org  

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

Reply
 
Thread Tools
Old 2022-08-07, 17:52   #188
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

24×281 Posts
Default

Quote:
Originally Posted by ryanp View Post
W117239 = \((2^{117239}+1)/3\) has been proven prime with ecpp-mpi, and the certificate is processing on factordb.com.
FactorDB has verified it. Now The Prime Pages awaits your submission under: Generalized Lucas number, Wagstaff, ECPP
paulunderwood is offline   Reply With Quote
Old 2022-08-07, 18:02   #189
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

52·17 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
FactorDB has verified it. Now The Prime Pages awaits your submission under: Generalized Lucas number, Wagstaff, ECPP
Submitted: https://primes.utm.edu/primes/page.php?id=134282
ryanp is offline   Reply With Quote
Old 2022-08-27, 11:14   #190
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

24·281 Posts
Default mu_div_qr.c error message

When trying to test R86453 I get the error message:

Quote:
-- Size [0]: 287188 bits
mu_div_qr.c:280: GNU MP assertion failed: cy == 0
[honeypot8:03263] *** Process received signal ***
[honeypot8:03263] Signal: Aborted (6)
[honeypot8:03263] Signal code: (-6)
[honeypot8:03263] [ 0] /lib/x86_64-linux-gnu/libpthread.so.0(+0x14140)[0x7fe816acb140]
[honeypot8:03263] [ 1] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x141)[0x7fe816927ce1]
[honeypot8:03263] [ 2] /lib/x86_64-linux-gnu/libc.so.6(abort+0x123)[0x7fe816911537]
[honeypot8:03263] [ 3] /lib/x86_64-linux-gnu/libgmp.so.10(+0xc80f)[0x7fe816c4880f]
[honeypot8:03263] [ 4] /lib/x86_64-linux-gnu/libgmp.so.10(__gmpn_preinv_mu_div_qr+0x3c8)[0x7fe816c94b58]
[honeypot8:03263] [ 5] /lib/x86_64-linux-gnu/libgmp.so.10(+0x58dbf)[0x7fe816c94dbf]
[honeypot8:03263] [ 6] /lib/x86_64-linux-gnu/libgmp.so.10(__gmpn_tdiv_qr+0x88b)[0x7fe816c79e3b]
[honeypot8:03263] [ 7] /lib/x86_64-linux-gnu/libgmp.so.10(__gmpz_tdiv_r+0xda)[0x7fe816c6239a]
[honeypot8:03263] [ 8] /lib/x86_64-linux-gnu/libgmp.so.10(__gmpz_mod+0x60)[0x7fe816c5b760]
[honeypot8:03263] [ 9] ecpp-mpi[0x41079f]
[honeypot8:03263] [10] ecpp-mpi[0x40d15b]
[honeypot8:03263] [11] ecpp-mpi[0x40df05]
[honeypot8:03263] [12] ecpp-mpi[0x40621e]
[honeypot8:03263] [13] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xea)[0x7fe816912d0a]
[honeypot8:03263] [14] ecpp-mpi[0x4064fa]
[honeypot8:03263] *** End of error message ***
--------------------------------------------------------------------------
Primary job terminated normally, but 1 process returned
a non-zero exit code. Per user-direction, the job has been aborted.
--------------------------------------------------------------------------
--------------------------------------------------------------------------
mpirun noticed that process rank 20 with PID 0 on node honeypot8 exited on signal 6 (Aborted).
--------------------------------------------------------------------------

real 666m37.226s
user 662m33.469s
sys 0m21.486s
(I think I had the same message on a previous attempt.)

Last fiddled with by paulunderwood on 2022-08-27 at 11:33
paulunderwood is offline   Reply With Quote
Old 2022-09-09, 19:39   #191
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

106208 Posts
Default

Congrats to Andreas Enge for using his own ECPP software CM to prove tau 199^4518 at 57,125 digits

In factorDB - http://factordb.com/index.php?id=1100000003886300622
paulunderwood is offline   Reply With Quote
Old 2022-09-12, 14:40   #192
andreas
 
May 2022

11 Posts
Default

Thanks, Paul! I had tried to upload the certificate to factordb, but it complained that it would require a probable prime. Very strange. I noticed you only uploaded the input number; did you have the same problem?

Anyway, I have independently verified the certificate with PARI/GP.

Last fiddled with by andreas on 2022-09-12 at 14:41
andreas is offline   Reply With Quote
Old 2022-09-12, 17:00   #193
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

24×281 Posts
Default

Quote:
Originally Posted by andreas View Post
Thanks, Paul! I had tried to upload the certificate to factordb, but it complained that it would require a probable prime. Very strange. I noticed you only uploaded the input number; did you have the same problem?

Anyway, I have independently verified the certificate with PARI/GP.
All I did was make the change to N=$... and rename the file to a ".out" one before uploading to factordb.
paulunderwood is offline   Reply With Quote
Old 2022-10-06, 10:24   #194
Puzzle-Peter
 
Puzzle-Peter's Avatar
 
Jun 2009

22×52×7 Posts
Default

Quote:
Originally Posted by andreas View Post
Thanks, Paul! I had tried to upload the certificate to factordb, but it complained that it would require a probable prime. Very strange. I noticed you only uploaded the input number; did you have the same problem?

Anyway, I have independently verified the certificate with PARI/GP.

factordb does not like certificates for numbers that are "unknown" to factordb. Just type in the number in the search field and assign to a worker if necessary. As soon as factordb gives the status as "PRP" it will accept the certificate. At least that's what I experienced in the past.
Puzzle-Peter is offline   Reply With Quote
Old 2022-10-12, 12:36   #195
Grotex
 
Grotex's Avatar
 
"Jiahao He"
May 2018
China

67 Posts
Default How to build CM(ecpp/ecpp-mpi) smoothly

Hi.Grotex here.

After reading what you all have said, I have a question for you here.

I came up a few days ago (October 8, to be specific) to see if there was any new information, and I happened to find this CM program.

I was so pleased that I followed the instructions on the website and installed it myself on MSYS2 (Win10), but I ended up with repeated problems and even inexplicable errors.

Finally, I realized that MSYS2 and UNIX systems really can't be equated, and gave up.

What I already know so far that I need to install CM is: GMP, MPFR, MPC, MPFRCX and PARI/GP (multi-threading also requires MPI).

Now the question is: how to install CM successfully?

If there is a way to install CM smoothly on MSYS2, it would be best; if not, I will install an Ubuntu system to do so.

Thank you all for your patience in reading this.

Grotex

Last fiddled with by Grotex on 2022-10-12 at 12:37
Grotex is offline   Reply With Quote
Old 2022-10-13, 06:03   #196
Grotex
 
Grotex's Avatar
 
"Jiahao He"
May 2018
China

67 Posts
Default

Quote:
Originally Posted by Grotex View Post
Hi.Grotex here.

After reading what you all have said, I have a question for you here.

I came up a few days ago (October 8, to be specific) to see if there was any new information, and I happened to find this CM program.

I was so pleased that I followed the instructions on the website and installed it myself on MSYS2 (Win10), but I ended up with repeated problems and even inexplicable errors.

Finally, I realized that MSYS2 and UNIX systems really can't be equated, and gave up.

What I already know so far that I need to install CM is: GMP, MPFR, MPC, MPFRCX and PARI/GP (multi-threading also requires MPI).

Now the question is: how to install CM successfully?

If there is a way to install CM smoothly on MSYS2, it would be best; if not, I will install an Ubuntu system to do so.

Thank you all for your patience in reading this.

Grotex
Updated.

I have installed CM on WSL (Windows Subsystem for Linux) without any problems, and after checking, both ECPP and ECPP-MPI work fine.

It feels good to have succeeded.

Thanks to Dr. Andreas Enge for developing this great program.

The cofactor of M87691 - a prp with 26371 decimal digits - is currently being processed with ECPP-MPI.

It is already the smallest prp in the cofactor of Mersenne numbers and I would like to start from here.

Grotex

Last fiddled with by Grotex on 2022-10-13 at 06:03
Grotex is offline   Reply With Quote
Old 2022-10-14, 06:58   #197
Grotex
 
Grotex's Avatar
 
"Jiahao He"
May 2018
China

4316 Posts
Unhappy

Quote:
Originally Posted by Grotex View Post
Updated.

I have installed CM on WSL (Windows Subsystem for Linux) without any problems, and after checking, both ECPP and ECPP-MPI work fine.

It feels good to have succeeded.

Thanks to Dr. Andreas Enge for developing this great program.

The cofactor of M87691 - a prp with 26371 decimal digits - is currently being processed with ECPP-MPI.

It is already the smallest prp in the cofactor of Mersenne numbers and I would like to start from here.

Grotex
Updated.

I already dropped M87691 cofactor.

I have only a quad thread laptop, but the others have ThreadRipper

Well, my passion that was ultimately mispaid.

Grotex
Grotex is offline   Reply With Quote
Old 2022-11-04, 10:34   #198
SuikaPredator
 
Aug 2022
China

25 Posts
Default How to install cm on Linux VM correctly?

I tried to install cm-0.4.0 or 0.4.1 on linux vm, but after './configure' and 'make', it popped out with the following errors.
Code:
/usr/bin/ld: pari_mainstack: TLS definition in /usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/libpari.so section .tbss mismatches non-TLS reference in .libs/pari.o
/usr/bin/ld: /usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/libpari.so: error adding symbols: bad value
collect2: error: ld returned 1 exit status
make[2]: *** [Makefile:456: libcm.la] Error 1
make[2]: Leaving directory '/home/oscar/Downloads/cm-0.4.0/lib'
make[1]: *** [Makefile:406: all-recursive] Error 1
make[1]: Leaving directory '/home/oscar/Downloads/cm-0.4.0'
make: *** [Makefile:338: all] Error 2
I have no idea about what was happening, so I searched about similar error messages on google, but none of the solutions help. Can someone help me to find the problem?

Some OS/prerequisite software versions are: ubuntu20.04.5-LTS, GMP6.2.1, MPFR4.0.2-1, MPC1.1.0-1, MPFRCX0.6.3, and PARI2.11.0
SuikaPredator is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
what is the best primality software? bbb120 Proth Prime Search 75 2022-10-08 11:45
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 00:37.


Wed Feb 8 00:37:21 UTC 2023 up 173 days, 22:05, 1 user, load averages: 1.23, 1.11, 1.14

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

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔