mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Operazione Doppi Mersennes

Reply
 
Thread Tools
Old 2013-09-06, 16:33   #166
aketilander
 
aketilander's Avatar
 
"Åke Tilander"
Apr 2011
Sandviken, Sweden

10668 Posts
Default

I don't know if it will be all wrong if we include:

Quote:
Originally Posted by aketilander View Post
21422*2*(2^86243-1)+1 is 3-PRP!
if so the list would also include proven PRPs and primes/PRPs for k:s which are not 0 or 1 (mod 4). Would that be OK? So far the above would be the only addition I guess.

Last fiddled with by aketilander on 2013-09-06 at 16:36
aketilander is offline   Reply With Quote
Old 2013-09-06, 16:35   #167
LaurV
Romulan Interpreter
 
LaurV's Avatar
 
"name field"
Jun 2011
Thailand

2×11×449 Posts
Default

Quote:
Originally Posted by ET_ View Post
If I read it correctly, all red values on column F of sheet 03 "TF High Water Mark" (except for the new records of Tim Sorbera) should be replaced by those on column H.
Yes, you got it right. The values in column F were more like a "note for myself". In fact, the old watermarks in column E (which I knew about, in fact only MM86243 is affected, the watermark of 1M which you just posted is NEW for me!), so all values in column E, need to be raised to the new watermarks, in column H. With the mention that all old ranges were doublechecked (i.e. I ran the k's from zero). I am still continuing, I want to raise all marks in the blue rows (16-28).

Quote:
Rows 29, 30 and 31 still awaiting for confirmation.
Please don't update the history for MM#29,30,31. I honestly don't remember what I did there. I can not find any log files, and I tried to re-run some with the tools I currently have, it takes ages, I couldn't do that progress. I suspect I have some other "tools" in a computer which is dead now for about two months (if someone notified already the fact that my GIMPS output decreased in the last two months) and I will not have time to revive it till October (I will be in Germany from Sep.15 for about 10 days or so, somewhere close to Freiburg, btw. anyone there available for a beer? ). I remember I worked #29-#33 in that computer for a while.

Last fiddled with by LaurV on 2013-09-06 at 16:41
LaurV is offline   Reply With Quote
Old 2013-09-06, 17:45   #168
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2×41×59 Posts
Default

Quote:
Originally Posted by LaurV View Post
Yes, you got it right. The values in column F were more like a "note for myself". In fact, the old watermarks in column E (which I knew about, in fact only MM86243 is affected, the watermark of 1M which you just posted is NEW for me!), so all values in column E, need to be raised to the new watermarks, in column H. With the mention that all old ranges were doublechecked (i.e. I ran the k's from zero). I am still continuing, I want to raise all marks in the blue rows (16-28).

Please don't update the history for MM#29,30,31. I honestly don't remember what I did there. I can not find any log files, and I tried to re-run some with the tools I currently have, it takes ages, I couldn't do that progress. I suspect I have some other "tools" in a computer which is dead now for about two months (if someone notified already the fact that my GIMPS output decreased in the last two months) and I will not have time to revive it till October (I will be in Germany from Sep.15 for about 10 days or so, somewhere close to Freiburg, btw. anyone there available for a beer? ). I remember I worked #29-#33 in that computer for a while.
Thanks!

Now the history is updated.
BTW, you did a terrific job!!

I guessed you used PARI and pfgw for your search.

Luigi

Last fiddled with by ET_ on 2013-09-06 at 17:47 Reason: History updateed.
ET_ is offline   Reply With Quote
Old 2014-01-10, 20:34   #169
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2·41·59 Posts
Default 2*140340*(2^1257787-1)+1 is prime!

A new, 378,638-digits prime has been found and proved.

Sadly, it doesn't divide MM34.

Luigi
ET_ is offline   Reply With Quote
Old 2014-01-10, 22:14   #170
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

21378 Posts
Default

Quote:
Originally Posted by ET_ View Post
A new, 378,638-digits prime has been found and proved.

Sadly, it doesn't divide MM34.

Luigi
Still a very nice find!
philmoore is offline   Reply With Quote
Old 2014-01-11, 12:27   #171
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

CB916 Posts
Default

Very nice! It is not a PRP?

Which software proves these numbers prime when they are on of the form k*2^(p+1) -2k+1 ?
ATH is online now   Reply With Quote
Old 2014-01-11, 13:34   #172
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

4,271 Posts
Default

Quote:
Originally Posted by ATH View Post
Very nice! It is not a PRP?

Which software proves these numbers prime when they are on of the form k*2^(p+1) -2k+1 ?
N=2*140340*(2^1257787-1)+1
2^1257787-1 is prime (and 140340 is trivially factored)
Thus, N-1's factorization is known.
So I'd go with an N-1 test for proving.

Nice find!

Last fiddled with by Mini-Geek on 2014-01-11 at 13:35
Mini-Geek is offline   Reply With Quote
Old 2014-01-11, 13:42   #173
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2×41×59 Posts
Default

Quote:
Originally Posted by Mini-Geek View Post
N=2*140340*(2^1257787-1)+1
2^1257787-1 is prime (and 140340 is trivially factored)
Thus, N-1's factorization is known.
So I'd go with an N-1 test for proving.

Nice find!
That's exactly what I did before claiming this number prime.

I also aplied the GwPowMod function via a pfgw script to check that the factor was not a divisor of MM34.

Luigi
ET_ is offline   Reply With Quote
Old 2014-01-11, 17:54   #174
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

3,257 Posts
Default

Quote:
Originally Posted by ET_ View Post
That's exactly what I did before claiming this number prime. Luigi
Did you use pfgw? How long did N-1 test take? and how long to test if factor of MM34?

Does pfgw or whatever software you use have to test 2^1257787-1 for primality first or can you specify, that you know it is prime?
ATH is online now   Reply With Quote
Old 2014-01-11, 18:55   #175
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2·41·59 Posts
Default

Quote:
Originally Posted by ATH View Post
Did you use pfgw? How long did N-1 test take? and how long to test if factor of MM34?

Does pfgw or whatever software you use have to test 2^1257787-1 for primality first or can you specify, that you know it is prime?
I used pfgw.

N-1 took less than 8000 seconds.
GwPowMod was about 4 times faster.
MM34 was given as a known prime factor of N-1 from an helper file, for the calculation.

It wasn't that hard, after all... the hard work is to sieve all the possible ks, PRP the candidates and testing for primality was just the tip of the iceberg.

Many thanks to Serge Batalov who tested all the survived Ks of MM34 (and many, many others) up to 130,000.

Now, looking at the status it seems that MM36 was left behind... anyone willing to give a pfgw shot to it? If you find a PRP you may add a 900,000 -digits long prime to your curriculum.

Note: the prime in fulldigits' size is available here.

Luigi

Last fiddled with by ET_ on 2014-01-11 at 18:57 Reason: Added a link.
ET_ is offline   Reply With Quote
Old 2014-02-10, 12:11   #176
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2×41×59 Posts
Default DoubleMersennes.org strikes again!

2*9488*(2^2976221-1)+1 is prime!

This 895,937 digits number has been proved prime; rankes #113 among the biggest primes of all times, is actually being tested by Chris Caldwell site.

It doesn't divide MM36, though.

We're getting closer and closer to the first million-digits prime for double Mersennes possible factors.

Luigi
ET_ is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Is CEMPLLA 1.5 "the only software in the world capable of discovering" something? Not really. CRGreathouse Number Theory Discussion Group 51 2018-12-16 21:55
Official "World cup 2014/2018" teat LaurV Hobbies 74 2018-07-11 19:33
Problem E7 of Richard Guy's "Unsolved problems in number theory" Batalov Computer Science & Computational Number Theory 40 2013-03-16 09:19
Is the USA the "new" peacekeeper of the world?? outlnder Soap Box 20 2005-02-03 09:30
Would Minimizing "iterations between results file" may reveal "is not prime" earlier? nitai1999 Software 7 2004-08-26 18:12

All times are UTC. The time now is 23:25.


Fri Jan 28 23:25:19 UTC 2022 up 189 days, 17:54, 1 user, load averages: 2.40, 2.09, 1.96

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.

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