mersenneforum.org Exponent fully factored whilst only 74% known
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read

2016-08-14, 13:40   #1
mattmill30

Aug 2015

4610 Posts
Exponent fully factored whilst only 74% known

Can someone explain why M397 is labeled as fully factored, when the details are:
Quote:
 Known prime factors (8 factors, 294.6 bits, 74.21164755% known): Remaining cofactor is a probable-prime
Why wouldn't the exponent need to be 100% known before it can be labeled fully factored?

I also note that there are no PRPs attached to M397, which I would have expected with the mention of a probably-prime.

2016-08-14, 14:50   #2
axn

Jun 2003

34×67 Posts

Quote:
 Originally Posted by mattmill30 Can someone explain why M397 is labeled as fully factored

1) Because it is.
2) Lazy programmer.

In this particular case, all the factors are small and proven prime, but in the general case, a fully-factored exponent will result from a bunch of small factors and a large PRP cofactor. We're confident that the PRP cofactor is prime, but it will not be mathematically proven. There is no separate logic in the website to handle when the last factor is proven vs PRP.

2016-08-14, 14:51   #3
retina
Undefined

"The unspeakable one"
Jun 2006
My evil lair

11001111100012 Posts

Quote:
 Originally Posted by mattmill30 Can someone explain why M397 is labeled as fully factored, when the details are: Why wouldn't the exponent need to be 100% known before it can be labeled fully factored? I also note that there are no PRPs attached to M397, which I would have expected with the mention of a probably-prime.
You can verify the final factor 6597485910270326519900042655193 quite easily.

It is a real prime BTW

 2016-08-14, 18:09 #4 GP2     Sep 2003 A1B16 Posts By convention, if an exponent is fully factored, the largest factor is omitted from the database (in both mersenne.org and mersenne.ca). Storing it would be redundant, since it easily calculated by dividing the Mersenne number itself by all of its other factors. And in most cases (although not here), it is many orders of magnitude larger than the next largest factor, so there would be enormous storage costs, for example: M5240707 = 75392810903 * (a probable prime with 1.5776 million digits) Note that the 273 fully factored Mersenne exponents up to and including M63703 really are fully factored, with primality certificates calculated for the remaining cofactor using programs like Primo, whereas all larger "fully factored" Mersenne exponents (of which 30 are known) are only "probably fully factored". Last fiddled with by GP2 on 2016-08-14 at 18:15

 Similar Threads Thread Thread Starter Forum Replies Last Post c10ck3r Data 49 2017-12-10 19:39 mattmill30 PrimeNet 23 2017-02-13 12:42 Trejack FactorDB 7 2016-05-14 05:38 rogue GMP-ECM 51 2009-06-01 12:53 Mini-Geek PrimeNet 2 2006-08-26 10:15

All times are UTC. The time now is 18:56.

Sat Dec 3 18:56:28 UTC 2022 up 107 days, 16:25, 0 users, load averages: 0.84, 0.89, 0.83

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.

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