hermann on Fri, 15 Nov 2024 21:28:56 +0100 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
PARI/GP timings for operations on biggest known 41,024,320 decimal digit prime |
It turned out that for all Mersenne primes but M_1, -3 is a quadratic residue.
Therefore there are integers x,y with M_52=x^2+3*y^2.The whole computation took 8.01 days with 1580% CPU (AMD 7950X) LLR software
(patched to write out "sqrt(Mod(-3,p))") based on gwnum library: https://gist.github.com/Hermann-SW/1aa0859f90bf2423b0d0a2ebc7f3eb2c Computation of x,y from sqrt(Mod(-3,p)) took 17 seconds with: [M,V]=halfgcd(lift(s),p); Leftmost 60 characters of gist GP script:hermann@7950x:~/llr405src/linux64llr$ cut -b-60 M_52.is.x^2_plus_3_times_y^2.gp
p=2^136279841-1; ## x=4624919986798384683510429678492757870361922596523736044043 ## y=-471803447302992039086168784360506296339127284694422433463 ## p==x^2+3*y^2 ## hermann@7950x:~/llr405src/linux64llr$Computing p is fast (6ms), storing (20MB) numbers into variables x,y takes
1.1 seconds each, validation of equation takes 357ms only:hermann@7950x:~/llr405src/linux64llr$ gp -q < M_52.is.x^2_plus_3_times_y^2.gp
*** last result computed in 6 ms. *** last result computed in 1,106 ms. *** last result computed in 1,051 ms. 1 *** last result computed in 357 ms. hermann@7950x:~/llr405src/linux64llr$ Regards, Hermann.