mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > FermatSearch

Reply
 
Thread Tools
Old 2022-05-13, 22:29   #12
ewmayer
2ω=0
 
ewmayer's Avatar
 
Sep 2002
República de California

32×1,303 Posts
Default F25-F30 cofactor status

[By way of cross-referencing]

I just posted details/results for my tests of the F25-F30 cofactors here. Executive Summary:

o My Fermat-PRP Res64 values (starting with my saved Pepin-test residues and doing one more mod-squaring) match Yar's, but we need George to tweak his code to also print the Res64 for the ensuing Suyama cofactor-PRP postprocessing step;

o Once we have the above added-Res64-print in place, it would be nice if someone could run Fermat-PRP/Suyama for F27 in order to cross-compare that one. Andreas Höglund did a PRP-CF run of F27 already some years ago, but George's code-at-the-time (2009) which Andreas used was doing a direct-PRP-test of the cofactor, whose results cannot be cross-checked against the Pepin+Suyama one.
ewmayer is offline   Reply With Quote
Old 2022-05-14, 02:00   #13
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

331310 Posts
Default

Amazing work Ernst on those cofactor tests specifically the latter ones. You had the patience for those multiyear tests, as well as all the work on MLucas to make it happen.

I assume the "Fermat-PRP/Suyama" test of F27 is a type 5 PRP-CF test? I might run it if no one else does it, but not right now or the next few weeks. Maybe it is better to wait anyway in case George feels like and have time for this "tweak". It sounds from your description like it is a minor change/addition.

Last fiddled with by ATH on 2022-05-14 at 02:00
ATH is offline   Reply With Quote
Old 2022-05-14, 09:26   #14
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

22×7×173 Posts
Default

Thank you Ernst. It looks that the original page from Prof. Keller will be updated, once we have all the checks done.

Please keep us informed!
ET_ is offline   Reply With Quote
Old 2022-05-14, 21:26   #15
ewmayer
2ω=0
 
ewmayer's Avatar
 
Sep 2002
República de California

32×1,303 Posts
Default

Quote:
Originally Posted by ATH View Post
Amazing work Ernst on those cofactor tests specifically the latter ones. You had the patience for those multiyear tests, as well as all the work on MLucas to make it happen.

I assume the "Fermat-PRP/Suyama" test of F27 is a type 5 PRP-CF test? I might run it if no one else does it, but not right now or the next few weeks. Maybe it is better to wait anyway in case George feels like and have time for this "tweak". It sounds from your description like it is a minor change/addition.
Thanks, Andreas (and Luigi).

Yes, 'type 5' is the GIMPS jargon - same as type 1, i.e. a Fermat-PRP, a^(N-1) (mod N), but followed by the Suyama-style cofactor-PRP step. The checksum-for-Suyama-result is a more or less trival code-modification, but crucial for cross-validation of cofactor-PRP results. I sent George (and AaronB and JamesH) email a few weeks ago suggesting that the JSON result format for PRP-CF be modified from simply noting 'C' or 'P' for the cofactor to including the Suyama-step Res64 for the 'C' cases, i.e. the vast majority. The preceding much-longer Fermat-PRP test of N could be reported separately, same as a regular PRP, and allowing all the same checks, i.e. Gerbicz and even proof/cert.

(It would be really cool to also support upload of Fermat-PRP residues to the server, because that would allow really fast server-side auto-running of the cofactor-PRP step for N where future deeper factoring work turns up a factor.)
ewmayer is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Search for prime Gaussian-Mersenne norms (and G-M-cofactors) Cruelty Proth Prime Search 158 2020-07-31 22:23
Manual Testing ECM on cofactors? yih117 PrimeNet 24 2018-02-03 15:46
Feasibility of testing Fermat cofactors JeppeSN And now for something completely different 6 2017-02-24 10:17
Testing Mersenne cofactors for primality? CRGreathouse Computer Science & Computational Number Theory 18 2013-06-08 19:12
Sequences with smaller cofactors Mr. Odd Aliquot Sequences 8 2010-12-01 17:12

All times are UTC. The time now is 05:10.


Tue May 24 05:10:59 UTC 2022 up 40 days, 3:12, 0 users, load averages: 1.56, 1.24, 1.13

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.

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