mersenneforum.org  

Go Back   mersenneforum.org > Search Forums

Showing results 1 to 25 of 596
Search took 0.08 seconds.
Search: Posts Made By: Happy5214
Forum: Data 2021-05-04, 02:22
Replies: 69
Views: 2,008
Posted By Happy5214
Your shebang (line 1) is wrong. Linux distros...

Your shebang (line 1) is wrong. Linux distros (well, at least Ubuntu) name their Python 3 interpreters /usr/bin/python3 (/usr/bin/python is always Python 2), so that script will not run unmodified...
Forum: Data 2021-05-04, 01:55
Replies: 3,384
Views: 267,875
Posted By Happy5214
If it helps, looking at their academic calendar...

If it helps, looking at their academic calendar (http://www.tamuc.edu/Admissions/registrar/documents/2021%20Academic%20Calendar4.pdf), they had spring finals last week, so that semester is now over....
Forum: PrimeNet 2021-05-03, 07:19
Replies: 7
Views: 311
Posted By Happy5214
I believe kriesel was simply rounding from 19% to...

I believe kriesel was simply rounding from 19% to 25%, hence the tilde. To be fair, when George said it may not be worthwhile, you had not yet said the test was 19% done and could be finished in less...
Forum: Software 2021-04-30, 23:20
Replies: 60
Views: 13,951
Posted By Happy5214
I've traditionally used OpenPFGW (albeit an older...

I've traditionally used OpenPFGW (albeit an older version) for n<10,000 for that reason, and I don't experience the excessive disk writes that I get with LLR. LLR logs every test residue in a file,...
Forum: PrimeNet 2021-04-29, 09:17
Replies: 2,137
Views: 209,971
Posted By Happy5214
I reserved 59652389 as a PRP w/ proof DC, but I...

I reserved 59652389 as a PRP w/ proof DC, but I ran into issues with an mprime 30.6 bug that wiped out the first 10% of work. I decided to up the P-1 bounds a bit, but when I submitted it (without...
Forum: Aliquot Sequences 2021-04-28, 08:03
Replies: 1,093
Views: 96,427
Posted By Happy5214
Do you have any update on the stat page revamp? I...

Do you have any update on the stat page revamp? I asked back in early March about that page and the conjecture page, but your answer really only covered the conjecture page.
Forum: Homework Help 2021-04-26, 21:15
Replies: 14
Views: 559
Posted By Happy5214
Correct. The rationals are the smallest ordered...

Correct. The rationals are the smallest ordered field, in the sense that they are embedded in every other ordered field, so that would be the missing axiom. I couldn't tell you how that implies the...
Forum: Information & Answers 2021-04-26, 05:28
Replies: 3
Views: 92
Posted By Happy5214
Feature request for George: giving mprime a...

Feature request for George: giving mprime a SIGINT (assuming menus are enabled) should drop back to the main menu immediately. I run into this issue too, and the usual solution depends on the menu....
Forum: Homework Help 2021-04-25, 09:39
Replies: 14
Views: 559
Posted By Happy5214
I'm sure you're confusing him, as I'm confused....

I'm sure you're confusing him, as I'm confused. First of all, the proof that there can't be two non-zero values that multiply to 0 in the integers is the OP's question itself (or alternatively its...
Forum: Homework Help 2021-04-25, 07:01
Replies: 14
Views: 559
Posted By Happy5214
Mods: Please fix the quoted emojis above for...

Mods: Please fix the quoted emojis above for everyone's sanity. My browser is not letting me edit my post anymore because of them, so I can't fix them.
Forum: Homework Help 2021-04-25, 06:55
Replies: 14
Views: 559
Posted By Happy5214
Note the difference. The axioms for the rational...

Note the difference. The axioms for the rational numbers (an ordered field) are the same as the real numbers (essentially the only Dedekind-complete ordered field) minus the least upper bound...
Forum: Aliquot Sequences 2021-04-25, 06:36
Replies: 52
Views: 1,444
Posted By Happy5214
The answer is 2, for the downdriver runs 0-0 and...

The answer is 2, for the downdriver runs 0-0 and 8-11. I defined "decreasing regime" above as downdrivers and odd terms (i.e. no 2 at all), so 2^2 and 2^3 don't count, even if they're deficient. They...
Forum: Aliquot Sequences 2021-04-23, 23:14
Replies: 52
Views: 1,444
Posted By Happy5214
A downdriver can mutate to 2^2 or another 2^n...

A downdriver can mutate to 2^2 or another 2^n (without the associated small factor that creates a driver/guide) and still be going down, but that's not necessarily a "decreasing regime" by my...
Forum: Aliquot Sequences 2021-04-23, 06:25
Replies: 52
Views: 1,444
Posted By Happy5214
Not technically the same thing, as downdriver...

Not technically the same thing, as downdriver runs can sometimes have brief blips where they go up (think of 2*5*7). I was thinking more of the number of distinct runs, not the length of runs.


...
Forum: Software 2021-04-23, 06:08
Replies: 60
Views: 13,951
Posted By Happy5214
I last heard from Jean via PM in March regarding...

I last heard from Jean via PM in March regarding a major version bump next time around, so hopefully we'll see 4.0.0 soon.
Forum: Homework Help 2021-04-23, 05:35
Replies: 14
Views: 559
Posted By Happy5214
charybdis's proof applies to all integral...

charybdis's proof applies to all integral domains, of which the integers are the algebraic prototype. (In fact, the non-ordering integer axioms you posted in the other thread...
Forum: Aliquot Sequences 2021-04-21, 05:20
Replies: 52
Views: 1,444
Posted By Happy5214
What about the number of (for lack of a better...

What about the number of (for lack of a better term, since some terms are abundant) "decreasing regime" runs (i.e. stretches of consecutive terms under a downdriver or no 2 at all)?

PS What does...
Forum: Homework Help 2021-04-20, 07:27
Replies: 10
Views: 282
Posted By Happy5214
If you want to see a computer-assisted proof,...

If you want to see a computer-assisted proof, Metamath's version is at http://us.metamath.org/mpeuni/binom2.html. The associated program can blow up that heavily condensed proof all the way back to...
Forum: Software 2021-04-20, 07:05
Replies: 281
Views: 21,417
Posted By Happy5214
I don't have them anymore, because the assignment...

I don't have them anymore, because the assignment already finished and got uploaded to PrimeNet (no factor found). :brian-e: You got the PRP test (it was 103482079, for future reference). I'll send...
Forum: Software 2021-04-18, 23:24
Replies: 281
Views: 21,417
Posted By Happy5214
That didn't help, nor did restarting mprime...

That didn't help, nor did restarting mprime completely and resuming from there. Will mprime be able to figure out when this test is actually done, display issues aside, or do I need to restart the...
Forum: Software 2021-04-17, 21:16
Replies: 281
Views: 21,417
Posted By Happy5214
I was using build 1 of mprime 30.5. I upgraded to...

I was using build 1 of mprime 30.5. I upgraded to build 2 with the same results.
Forum: Software 2021-04-17, 08:17
Replies: 281
Views: 21,417
Posted By Happy5214
I'm running a P-1 in stage 2, and it's saying...

I'm running a P-1 in stage 2, and it's saying it's 100% complete, but it's still running and printing "100% complete" reports at the normal rate. Is there a data issue or is this a problem with the...
Forum: Software 2021-04-15, 06:49
Replies: 281
Views: 21,417
Posted By Happy5214
Because I run 3 different work types in rotation...

Because I run 3 different work types in rotation (3 PRP-CF, 1 ECM, 1 P-1).
Forum: Software 2021-04-15, 05:39
Replies: 281
Views: 21,417
Posted By Happy5214
An unrelated gripe. I have 5 workers on 8 cores...

An unrelated gripe. I have 5 workers on 8 cores on my laptop. They're never all running at the same time (I run 3 max at a time, 2 cores each). But the benchmarks still use all 5 workers on all 8...
Forum: Miscellaneous Math 2021-04-15, 05:25
Replies: 24
Views: 595
Posted By Happy5214
I found a counter-example. 1469328248071876501...

I found a counter-example. 1469328248071876501 passes your test, but is listed on this list of numbers which are strong pseudoprimes to bases 2, 3, 5, and 7 (https://oeis.org/A074773/b074773.txt).
Showing results 1 to 25 of 596

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

Fri May 7 13:57:49 UTC 2021 up 29 days, 8:38, 0 users, load averages: 3.13, 2.96, 2.84

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, 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.