mersenneforum.org  

Go Back   mersenneforum.org > Search Forums

Showing results 1 to 25 of 1000
Search took 0.34 seconds.
Search: Posts Made By: paulunderwood
Forum: And now for something completely different 2022-05-27, 21:54
Replies: 130
Views: 33,140
Posted By paulunderwood
I am dropping R86453. It took my machine ~12...

I am dropping R86453. It took my machine ~12 hours to reach "Step [0]". If a step gets stuck then the time involved to run say one core to get a different proof path is infeasible. Basically the job...
Forum: Data 2022-05-25, 19:56
Replies: 580
Views: 120,246
Posted By paulunderwood
M86137 cofactor has been certified prime by yours...

M86137 cofactor has been certified prime by yours truly. :smile:
Forum: And now for something completely different 2022-05-24, 22:27
Replies: 125
Views: 6,187
Posted By paulunderwood
We had a problematic number on an Intel cluster....

We had a problematic number on an Intel cluster. The number works fine on an AMD box. It is shot in the dark, but could it be this difference that is the cause of the problem?

The number is...
Forum: GMP-ECM 2022-05-24, 17:43
Replies: 521
Views: 146,667
Posted By paulunderwood
You are missing something. The inputted number is...

You are missing something. The inputted number is too big. You specified 2^14447-1. The max is 2^1018. :ermm:
Forum: And now for something completely different 2022-05-23, 23:12
Replies: 130
Views: 33,140
Posted By paulunderwood
It looks as though Prof. Chris Caldwell has now...

It looks as though Prof. Chris Caldwell has now created an "E" prover code (https://primes.utm.edu/bios/page.php?id=5485), which should be selectable to create a code in order to submit CM (FastECPP)...
Forum: And now for something completely different 2022-05-23, 21:24
Replies: 130
Views: 33,140
Posted By paulunderwood
Nope. They're yours.

Nope. They're yours.
Forum: And now for something completely different 2022-05-23, 21:21
Replies: 130
Views: 33,140
Posted By paulunderwood
Please don't take M86137 -- I have nearing the...

Please don't take M86137 -- I have nearing the end of a Primo run of it.
Forum: And now for something completely different 2022-05-23, 18:37
Replies: 125
Views: 6,187
Posted By paulunderwood
Which CM/FastECPP are you all using? We had a...

Which CM/FastECPP are you all using? We had a long time on Step [1] with a 13k digit PRP with 0.4.1dev and reverted the install back to 0.4.0. Were we impatient?
Forum: And now for something completely different 2022-05-23, 12:57
Replies: 130
Views: 33,140
Posted By paulunderwood
On https://primes.utm.edu/primes/status.php I see...

On https://primes.utm.edu/primes/status.php I see Serge uses "CM" and an "x" code. UTM does not accept certs.

To be more explicit: create an x prover code attributing you and CM. When you submit...
Forum: And now for something completely different 2022-05-23, 12:31
Replies: 130
Views: 33,140
Posted By paulunderwood
@ryanp and @Andreas. Please make a The Prime...

@ryanp and @Andreas. Please make a The Prime Pages database entry for your numbers.

https://primes.utm.edu/top20/page.php?id=49
https://primes.utm.edu/top20/page.php?id=27

via
...
Forum: Data 2022-05-23, 12:13
Replies: 580
Views: 120,246
Posted By paulunderwood
Congrats to Ryan for proving the cofactor of...

Congrats to Ryan for proving the cofactor of M78737 using FastECPP.
Forum: And now for something completely different 2022-05-23, 11:58
Replies: 130
Views: 33,140
Posted By paulunderwood
Somewhere in the messaging bowels, Ryan did...

Somewhere in the messaging bowels, Ryan did mention he had forgotten about his Primo run of the M78737 cofactor and that Primo had crashed. Better late than never!
Forum: And now for something completely different 2022-05-23, 11:35
Replies: 125
Views: 6,187
Posted By paulunderwood
You're welcome! I don't know the...

You're welcome!

I don't know the probabilities of M-R compared to BPSW -- but Robert's point about superfluous trial division is valid.

I leave the configure option for Andreas to implement.
...
Forum: Soap Box 2022-05-23, 05:35
Replies: 34
Views: 691
Posted By paulunderwood
I have done this test or a similar one before and...

I have done this test or a similar one before and am squarely in the green square.
Forum: And now for something completely different 2022-05-22, 23:31
Replies: 130
Views: 33,140
Posted By paulunderwood
Primo won't handle anything above ~50k digits....

Primo won't handle anything above ~50k digits. But FastECPP (+GWNUM) might and do it some 8 times faster than an extrapolated Primo could do it.
Forum: And now for something completely different 2022-05-22, 21:57
Replies: 125
Views: 6,187
Posted By paulunderwood
I guess so -- something like a top500 computer...

I guess so -- something like a top500 computer (https://www.top500.org/) would eat it for breakfast.
Forum: And now for something completely different 2022-05-22, 19:44
Replies: 130
Views: 33,140
Posted By paulunderwood
Nearly finished: M86137 cofactor prp25896 ...

Nearly finished:

M86137 cofactor prp25896

Dropping:

M86371 cofactor prp25984
M87691 cofactor prp26371
E(11848)/(5*1582043) prp40792
Forum: And now for something completely different 2022-05-22, 13:48
Replies: 125
Views: 6,187
Posted By paulunderwood
I should revise this figure down a lot. On 64...

I should revise this figure down a lot. On 64 cores, it took 20 months for Primo to certify R49081. Call it 600 days. It would take Primo (86453/49081)^4 times as long i.e. 5776 days. Now FastECPP is...
Forum: sweety439 2022-05-21, 12:23
Replies: 35
Views: 1,863
Posted By paulunderwood
@sweety439. This seems to be a regular question...

@sweety439. This seems to be a regular question from you: "when will someone prove...". You really need to get FastECPP running on your system, even if you are stuck with Windows; Simple download and...
Forum: And now for something completely different 2022-05-21, 06:11
Replies: 125
Views: 6,187
Posted By paulunderwood
Have you tried recompiling the code in the...

Have you tried recompiling the code in the cm_nt_next_prime function within lib/nt.c with:

#ifdef WITH_MPI
// static unsigned long int P [664579];
// /* primes up to 10^7 */
static...
Forum: Puzzles 2022-05-20, 16:15
Replies: 27
Views: 12,407
Posted By paulunderwood
\[2^{\aleph_0} - 1 = \aleph_1\] and I am not sure...

\[2^{\aleph_0} - 1 = \aleph_1\] and I am not sure primeness is defined for these.
Forum: And now for something completely different 2022-05-20, 15:00
Replies: 125
Views: 6,187
Posted By paulunderwood
FastECPP + GWNUM Version 2

I have made a number of changes gw_prp.c (attached):


mpz strings are now base 16 for the system call to gw_prp

added bound check for A in the calculation on the discriminant D

used mpz...
Forum: Puzzles 2022-05-20, 02:14
Replies: 27
Views: 12,407
Posted By paulunderwood
https://en.wikipedia.org/wiki/Schr%C3%B6der%E2%80%...

https://en.wikipedia.org/wiki/Schr%C3%B6der%E2%80%93Bernstein_theorem
Forum: And now for something completely different 2022-05-19, 17:57
Replies: 125
Views: 6,187
Posted By paulunderwood
I'd say 4-5 months on 1024 cores with my above...

I'd say 4-5 months on 1024 cores with my above hack.

You'd need to increase the char array size!
Forum: And now for something completely different 2022-05-19, 10:13
Replies: 125
Views: 6,187
Posted By paulunderwood
I can't impress enough the usefulness of this...

I can't impress enough the usefulness of this hack. The threshold of ~26000 bits is optimal. At 44497 bits it is 30% quicker. Considering most of the time is spent at larger bit levels the hack could...
Showing results 1 to 25 of 1000

 
All times are UTC. The time now is 06:43.


Sat May 28 06:43:53 UTC 2022 up 44 days, 4:45, 0 users, load averages: 1.57, 1.35, 1.42

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.

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