mersenneforum.org  

Go Back   mersenneforum.org > Search Forums

Showing results 1 to 25 of 605
Search took 0.08 seconds.
Search: Posts Made By: Happy5214
Forum: PrimeNet 2021-05-13, 05:20
Replies: 2,151
Views: 212,463
Posted By Happy5214
The server is no longer displaying the bounds and...

The server is no longer displaying the bounds and sigma for found ECM factors, at least with mprime 30.6. mersenne.ca doesn't seem able to pull that info as a result. Is this intentional?

FWIW, my...
Forum: Riesel Prime Search 2021-05-13, 02:33
Replies: 412
Views: 69,863
Posted By Happy5214
As of May 9, the (near-)Woodall k's listed in...

As of May 9, the (near-)Woodall k's listed in https://www.mersenneforum.org/showpost.php?p=550539&postcount=363 have been completed to n=475k. The following primes were found:

667071*2^450745-1
...
Forum: Aliquot Sequences 2021-05-12, 04:33
Replies: 1,103
Views: 100,848
Posted By Happy5214
Also, 34^25 terminates at prime 601.

Also, 34^25 terminates at prime 601.
Forum: Aliquot Sequences 2021-05-12, 02:56
Replies: 1,103
Views: 100,848
Posted By Happy5214
There's not much contrast between the chosen pink...

There's not much contrast between the chosen pink shade and the overall background. According to my accessibility web developer tools. the ratio is only 1.08:1, and I was struggling to find the cells...
Forum: Data 2021-05-08, 00:11
Replies: 100
Views: 3,283
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: 15
Views: 569
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: 15
Views: 569
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,103
Views: 100,848
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: 100
Views: 3,283
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: 100
Views: 3,283
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,387
Views: 269,944
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: 368
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: 14,297
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,151
Views: 212,463
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,103
Views: 100,848
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: 956
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: 119
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: 956
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: 956
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: 956
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: 64
Views: 1,854
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: 64
Views: 1,854
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: 64
Views: 1,854
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: 14,297
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: 956
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...
Showing results 1 to 25 of 605

 
All times are UTC. The time now is 03:52.

Sun May 16 03:52:39 UTC 2021 up 37 days, 22:33, 0 users, load averages: 1.28, 1.27, 1.38

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.