FastECPP software and >50000 digit primality proof (reposted from NMBRTHRY)

[paulunderwood]

Originally Posted by ryanp

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

[ryanp]

Originally Posted by paulunderwood

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

[paulunderwood]

When trying to test R86453 I get the error message:

-- 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.)

[paulunderwood]

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

[andreas]

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.

[paulunderwood]

Originally Posted by andreas

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.

[Puzzle-Peter]

Originally Posted by andreas

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.

[Grotex]

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

[Grotex]

Originally Posted by Grotex

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

[Grotex]

Originally Posted by 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

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

[SuikaPredator]

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.

/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