mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Science & Technology

Reply
 
Thread Tools
Old 2012-02-12, 06:15   #1
antimath
 
Jan 2012

23 Posts
Default MM43112609

Imagine MM43112609...we cant even prove MM127's primality...try seeing if MM(largest prime known) is prime!
antimath is offline   Reply With Quote
Old 2012-02-12, 20:33   #2
ewmayer
2ω=0
 
ewmayer's Avatar
 
Sep 2002
República de California

22·2,939 Posts
Default

Quote:
Originally Posted by antimath View Post
Imagine MM43112609...we cant even prove MM127's primality...try seeing if MM(largest prime known) is prime!
Both numbers could be trial-factored using the same kind of sieving approach to search for factors q = 2.k.p+1. The key differences are the number of candidates (distinct k's) one could try for a given computational effort, and method one would use to do the modmuls - MM127 calls for highly-optimized several-integer-word-based MUL, whereas M[any M-prime large enough to need a transform-based LL test] would also need a high-efficiency transform-based modmul, since each individual k-candidate is going to need effort of similar order as the full primality test of the M-prime exponent required. So for MM127 it's no big deal for an average PC to test all k's up to (say) 2^50, whereas for MM43112609 you'd need close a PC-year to test just one or two k's.

[Edit: Note we now have a subforum dedicated to testing double-Mersennes.]

Last fiddled with by ewmayer on 2012-10-17 at 21:20
ewmayer is offline   Reply With Quote
Old 2012-02-12, 20:34   #3
NBtarheel_33
 
NBtarheel_33's Avatar
 
"Nathan"
Jul 2008
Maryland, USA

111510 Posts
Question Antimath = against math?

Quote:
Originally Posted by antimath View Post
Imagine MM43112609...we cant even prove MM127's primality...try seeing if MM(largest prime known) is prime!
You are interested in multiple-Mersenne numbers, yet you post under the name "antimath"?
NBtarheel_33 is offline   Reply With Quote
Old 2012-02-14, 08:17   #4
jasong
 
jasong's Avatar
 
"Jason Goatcher"
Mar 2005

1101101100112 Posts
Default

Quote:
Originally Posted by NBtarheel_33 View Post
You are interested in multiple-Mersenne numbers, yet you post under the name "antimath"?
lol, a few hours ago a new guy on Machinima Youtube channel tried to say his Youtube name, makesammichwoman, wasn't intended to be sexist, but just humorous.

Impulsiveness can be a real problem on the Internet, and I probably suffer from it more than the average 37 year old.

sorry for the off-topic, another thing I am pro at.

Oh, fun question: Could the final calculation of a Mersenne Primality test be used to more easily find a factor for the Mersenne number? And if not that calculation, what about the others? Like maybe the very first one? I barely comprehend the math, just thought I'd throw this out there.

Last fiddled with by jasong on 2012-02-14 at 08:19
jasong is offline   Reply With Quote
Old 2012-02-14, 13:53   #5
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dartmouth NS

8,461 Posts
Default

Quote:
Originally Posted by jasong View Post
lol, a few hours ago a new guy on Machinima Youtube channel tried to say his Youtube name, makesammichwoman, wasn't intended to be sexist, but just humorous.

Impulsiveness can be a real problem on the Internet, and I probably suffer from it more than the average 37 year old.

sorry for the off-topic, another thing I am pro at.

Oh, fun question: Could the final calculation of a Mersenne Primality test be used to more easily find a factor for the Mersenne number? And if not that calculation, what about the others? Like maybe the very first one? I barely comprehend the math, just thought I'd throw this out there.
I could see how because if Mn=x*y then Mn=0 mod x and 0 mod y that's just my two cents I may come back with examples:

1736 mod 89 =45 so we'd expect 45 as the answer we get using 89 instead of M11 and I believe it's what we get. note that z mod x or z mod y is what you want.

Last fiddled with by science_man_88 on 2012-02-14 at 14:17
science_man_88 is offline   Reply With Quote
Old 2012-02-14, 14:24   #6
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dartmouth NS

8,461 Posts
Default

Quote:
Originally Posted by science_man_88 View Post
I could see how because if Mn=x*y then Mn=0 mod x and 0 mod y that's just my two cents I may come back with examples:

1736 mod 89 =45 so we'd expect 45 as the answer we get using 89 instead of M11 and I believe it's what we get. note that z mod x or z mod y is what you want.
Code:
(10:20)>4
%81 = 4
(10:20)>(%^2-2)%89
%82 = 14
(10:20)>(%^2-2)%89
%83 = 16
(10:20)>(%^2-2)%89
%84 = 76
(10:20)>(%^2-2)%89
%85 = 78
(10:20)>(%^2-2)%89
%86 = 30
(10:20)>(%^2-2)%89
%87 = 8
(10:20)>(%^2-2)%89
%88 = 62
(10:20)>(%^2-2)%89
%89 = 15
(10:20)>(%^2-2)%89
%90 = 45
(10:20)>4
%91 = 4
(10:20)>(%^2-2)%2047
%92 = 14
(10:20)>(%^2-2)%2047
%93 = 194
(10:20)>(%^2-2)%2047
%94 = 788
(10:20)>(%^2-2)%2047
%95 = 701
(10:20)>(%^2-2)%2047
%96 = 119
(10:20)>(%^2-2)%2047
%97 = 1877
(10:20)>(%^2-2)%2047
%98 = 240
(10:20)>(%^2-2)%2047
%99 = 282
(10:20)>(%^2-2)%2047
%100 = 1736
(10:20)>1736%89
%101 = 45
they match so 89 is a factor of 2047 it also works for 23. however this is slower than trial factoring because the residue is near Mn.

Last fiddled with by science_man_88 on 2012-02-14 at 14:31
science_man_88 is offline   Reply With Quote
Old 2012-02-14, 20:12   #7
ewmayer
2ω=0
 
ewmayer's Avatar
 
Sep 2002
República de California

22·2,939 Posts
Default

Quote:
Originally Posted by jasong View Post
Could the final calculation of a Mersenne Primality test be used to more easily find a factor for the Mersenne number?
No, although as with the Pe'pin test for Fermat numbers, the LL test residue can be used to effect an efficient probable-prime test on the remaining cofactor of a Mersenne number with 1 or more known factors.

To understand that, you need to learn to comprehend at least some basic math, as opposed to just do quasi-random numerical computations like some folks around here are so fond of. (Probably because plugging numbers into some compute software is so much easier than trying to 'comprehend' things.)
ewmayer is offline   Reply With Quote
Reply



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


Fri Jul 7 13:25:04 UTC 2023 up 323 days, 10:53, 0 users, load averages: 1.39, 1.26, 1.18

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.

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