mersenneforum.org  

Go Back   mersenneforum.org > Search Forums

Showing results 1 to 25 of 1000
Search took 0.53 seconds.
Search: Posts Made By: Batalov
Forum: And now for something completely different 2022-05-16, 18:02
Replies: 82
Views: 3,141
Posted By Batalov
Welcome, Andreas! :thumbs-up:

Welcome, Andreas!
:thumbs-up:
Forum: And now for something completely different 2022-05-15, 19:53
Replies: 82
Views: 3,141
Posted By Batalov
I diffed all *.c and *.h files between two...

I diffed all *.c and *.h files between two branches (and there were only 2 *.c files) - and then moved them to the branch were last build was. And then rebuilt there.
This is admittedly simplistic,...
Forum: And now for something completely different 2022-05-13, 22:56
Replies: 82
Views: 3,141
Posted By Batalov
The 50001-digit cert verified in just a day or...

The 50001-digit cert verified in just a day or two. I've seen some Primo certs (much smaller) to take way longer to verify.
Forum: And now for something completely different 2022-05-13, 22:52
Replies: 82
Views: 3,141
Posted By Batalov
Arrow Reposting an update from Andreas (this is re:...

Reposting an update from Andreas (this is re: "some stage 1 steps may search quite long"; now shorter)

Refresh your copy of the code. - the corresponding version can also be downloaded as a...
Forum: And now for something completely different 2022-05-12, 22:19
Replies: 82
Views: 3,141
Posted By Batalov
Lightbulb Interesting bits of advice from Andreas (and...

Interesting bits of advice from Andreas (and Bill):
1. Because libpari is built into the code, the -n '<value>' expression can also use Pari functions, and perhaps even complex statements, like...
Forum: And now for something completely different 2022-05-12, 02:18
Replies: 82
Views: 3,141
Posted By Batalov
Implementation is closed source (pssst: it is...

Implementation is closed source (pssst: it is coded in Pascal for some reason, Primo, that is) but the certificate format is well described and community accepted. It describes the curve and point...
Forum: And now for something completely different 2022-05-11, 20:07
Replies: 82
Views: 3,141
Posted By Batalov
I will write to him. (I've also already invited...

I will write to him. (I've also already invited him to join the forum. There is a good source of debug/improvement cases here for him.)

So far, I had good exchange about the backtrack (indeed, in...
Forum: Programming 2022-05-10, 22:53
Replies: 12
Views: 390
Posted By Batalov
bash N=3 for i in `seq 1 $N`; do echo...

bash
N=3
for i in `seq 1 $N`; do
echo '[Worker #'$i']'; awk 'a++%'$N'=='$i'-1' input.txt
done > output.txt
Forum: chalsall 2022-05-10, 05:27
Replies: 24
Views: 759
Posted By Batalov
I don't think you really get it. What happened...

I don't think you really get it. What happened was only that a bouncer told you to go and do your best impression of Walter Sobchak ranting about the U.S.of A. someplace else - other than the place...
Forum: And now for something completely different 2022-05-09, 20:41
Replies: 82
Views: 3,141
Posted By Batalov
I found an interesting feature in this...

I found an interesting feature in this implementation - it doesn't back-track. Could be something that is left for later work. This has a downside of sometimes taking more time in one single step...
Forum: chalsall 2022-05-09, 05:02
Replies: 24
Views: 759
Posted By Batalov
If you haven't buried it, don't call it dead yet.

If you haven't buried it, don't call it dead yet.
Forum: Science & Technology 2022-05-08, 20:49
Replies: 6
Views: 381
Posted By Batalov
Exactly. Suppose you have 2 Eb of MRI/CAT...

Exactly.

Suppose you have 2 Eb of MRI/CAT scans (or all genomes of the population of Iceland and/or England). What have you learned, simply from that? Not much.
What have you learned from double...
Forum: And now for something completely different 2022-05-08, 19:02
Replies: 82
Views: 3,141
Posted By Batalov
Excellent. I'll write to Markus - he could tweak...

Excellent. I'll write to Markus - he could tweak his intake script.

I will also suggest him to automate the situation that someone would submit Pari-formatted cert, as well.
Pari-formatted cert...
Forum: And now for something completely different 2022-05-08, 05:36
Replies: 82
Views: 3,141
Posted By Batalov
Correct, primecertexport(C,1) goes 99% of the way...

Correct, primecertexport(C,1) goes 99% of the way toward FactorDB compatibility, but not all the way.

I actually blame FactorDB implementation (it surely doesn't use Primo to validate). I suspect...
Forum: And now for something completely different 2022-05-08, 01:16
Replies: 82
Views: 3,141
Posted By Batalov
If one likes to watch the paint dry, it does show...

If one likes to watch the paint dry, it does show you the drying paint. Look --
time mpirun ecpp-mpi -g -n '(2^43081+1)*3/(2^643+1)/(2^67+1)/6879834114993710683' -c -f cert-12k &> 12k.log &

tail...
Forum: And now for something completely different 2022-05-07, 22:32
Replies: 82
Views: 3,141
Posted By Batalov
Plus I built the ecpp and ecpp-mpi ver.0.4.0 per...

I built the ecpp and ecpp-mpi ver.0.4.0 per instructions. Everything works like a clock, - Andreas is a pro.

And so far, - it is blazingly fast. And it is a command-line tool. I am afraid to say...
Forum: Cunningham Tables 2022-05-07, 11:21
Replies: 56
Sticky: 7- table
Views: 36,059
Posted By Batalov
Stop necroposting. This is a 3-year old thread. ...

Stop necroposting. This is a 3-year old thread.

And we already had discussed this (https://mersenneforum.org/showthread.php?p=568480#post568480). Was it not spelled out enough?

All results are...
Forum: sweety439 2022-05-07, 11:13
Replies: 4
Views: 125
Posted By Batalov
Sure. You can. And when you will - it will take...

Sure. You can. And when you will - it will take you ~ a year using that 11-year old abandoned single-threaded version.

While with Linux version you can do it in just a couple days maybe even...
Forum: sweety439 2022-05-07, 10:06
Replies: 25
Views: 1,423
Posted By Batalov
Predict based on what? Are you, perhaps, a...

Predict based on what? Are you, perhaps, a blonde?

https://www.reddit.com/r/Jokes/comments/9gox5r/blonde_50_chance_to_meet_a_dinosaur/
Forum: And now for something completely different 2022-05-06, 23:50
Replies: 82
Views: 3,141
Posted By Batalov
I made a shorter jump and forwarded NMBRTHRY...

I made a shorter jump and forwarded NMBRTHRY email to Caldwell. (though he is surely on the list.*)

________
* Funny story: a few years ago a ton (literally!) of porn links started coming every...
Forum: Number Theory Discussion Group 2022-05-06, 23:35
Replies: 12
Views: 737
Posted By Batalov
Lightbulb Step 1. You factor n. ("there is no royal road to...

Step 1. You factor n. ("there is no royal road to geometry, your excellency" (c) Euclid)
Step 2. If there is a prime factor ≡ 3{mod 4} repeated odd number of times? - then Stop. No solution.
Step...
Forum: And now for something completely different 2022-05-06, 23:29
Replies: 82
Views: 3,141
Posted By Batalov
Note in their text that they say "This <<...>>...

Note in their text that they say "This <<...>> probably indicates non-optimal choices of parameters. On the other hand, it leads to very short certificates: We reach a length of only 1645 steps"...
Forum: And now for something completely different 2022-05-06, 21:16
Replies: 82
Views: 3,141
Posted By Batalov
Plus FastECPP software and 50000 digit primality proof (reposted from NMBRTHRY)

Exciting development. The early preview was visible since last August:
Forum: Number Theory Discussion Group 2022-05-06, 18:19
Replies: 12
Views: 737
Posted By Batalov
Please explain why would you want to factor a...

Please explain why would you want to factor a prime number?
What you quoted is for "number is 1 mod 4 and nothing else prime".
Forum: Miscellaneous Math 2022-05-06, 00:15
Replies: 11
Views: 494
Posted By Batalov
As an aside - this is a very common thing that...

As an aside - this is a very common thing that happens in the beginner card players (even though I call them beginners, most of the people I know never actually leave this stage!) -
they frequently...
Showing results 1 to 25 of 1000

 
All times are UTC. The time now is 01:11.


Tue May 17 01:11:41 UTC 2022 up 32 days, 23:13, 0 users, load averages: 1.27, 1.44, 1.45

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.

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