mersenneforum.org  

Go Back   mersenneforum.org > Search Forums

Showing results 1 to 25 of 601
Search took 0.07 seconds.
Search: Posts Made By: Happy5214
Forum: Data 2021-05-08, 00:11
Replies: 83
Views: 2,267
Posted By Happy5214
Thanks to George and James, I can now report the...

Thanks to George and James, I can now report the factor as n=4106464775643002298257 for 1924751. n+1 = 2 * 3 * 23 * 109 * 1621 * 4919 * 15241 * 2246411, so this was a stage 1 hit with B1=2.5M. That...
Forum: PrimeNet 2021-05-08, 00:01
Replies: 11
Views: 208
Posted By Happy5214
It was more of an addition than a rebuttal, since...

It was more of an addition than a rebuttal, since I don't recall seeing the comment about proofs being DC credit mentioned anywhere. Anyway, I'm enjoying the FT PRP credit I'm getting while paying my...
Forum: PrimeNet 2021-05-07, 23:39
Replies: 11
Views: 208
Posted By Happy5214
PRP-DC credit won't go away, even when full DCs...

PRP-DC credit won't go away, even when full DCs do. The proofs themselves count as PRP-DC credit, though obviously not a lot of it.
Forum: Aliquot Sequences 2021-05-07, 23:21
Replies: 1,096
Views: 97,063
Posted By Happy5214
The current page has the number of 120+ digit...

The current page has the number of 120+ digit open sequences in parentheses in the per-base stats, but I see they've been removed in the new version, so given that I agree with Jean-Luc on omitting...
Forum: Data 2021-05-07, 22:41
Replies: 83
Views: 2,267
Posted By Happy5214
I found my first P+1 factor (before my first P-1...

I found my first P+1 factor (before my first P-1 factor, in fact), but I can't seem to get PrimeNet to accept it. Perhaps the fact that I have it reserved for ECM is a problem? I'll PM the...
Forum: Data 2021-05-04, 02:22
Replies: 83
Views: 2,267
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: 268,174
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: 319
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,980
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,138
Views: 210,336
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,096
Views: 97,063
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: 597
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: 597
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: 597
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: 597
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,463
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,463
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,463
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,980
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: 597
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,463
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: 286
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: 290
Views: 21,825
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: 290
Views: 21,825
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...
Showing results 1 to 25 of 601

 
All times are UTC. The time now is 22:26.

Sat May 8 22:26:45 UTC 2021 up 30 days, 17:07, 0 users, load averages: 3.35, 3.65, 3.44

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.