mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   And now for something completely different (https://www.mersenneforum.org/forumdisplay.php?f=119)
-   -   Primo/FastECPP reservation thread (https://www.mersenneforum.org/showthread.php?t=24525)

sweety439 2022-04-27 16:30

[QUOTE=Gelly;604793]factordb seems to agree that it's prime, but the forward facing certificate doesn't appear to be available. not entirely sure what's going on there, as it says it's proven prime, but doesn't have an ECPP cert attached or anything.

i'll still attach the factordb entry to a t5k post but i'm still slightly unsure.

and yeah, i don't blame marcel for no longer posting all top 20s. seems to get updated a lot haha.[/QUOTE]

I know that you mean [URL="http://factordb.com/index.php?id=1100000000013690992"]this number[/URL], a cofactor of the Mersenne number M106391, but why this number does not appear in the [URL="https://primes.utm.edu/top20/page.php?id=27"]top ECPP proving page[/URL]?

paulunderwood 2022-04-27 16:39

[QUOTE=sweety439;604882]I know that you mean [URL="http://factordb.com/index.php?id=1100000000013690992"]this number[/URL], a cofactor of the Mersenne number M106391, but why this number does not appear in the [URL="https://primes.utm.edu/top20/page.php?id=27"]top ECPP proving page[/URL]?[/QUOTE]

Are you [STRIKE]thick[/STRIKE] joking? I just posted that Gelly should submit to it to UTM. Until he does so it will not appear on the aforementioned top20 and at the top of the top20 Mersenne co-factors. Things don't magically happen -- some action is required!

Gelly 2022-04-27 23:13

[QUOTE=paulunderwood;604876]I'd say go ahead and report it to The Prime Pages at UTM and be assured in the knowledge that factorDB successfully verified the certificate.

ps. Do you fancy proving the [URL="https://www.mersenne.ca/exponent/78737"]co-factor of M78737[/URL]?[/QUOTE]

Listed at UTM. I don't feel super-comfortable not having a certificate that's accessible to people anymore, but it appears that is happening to most of my primo certificates at this point. May have to look into some method of hosting them myself.

And yes, I may give a try to that next cofactor. Still settling into the new apartment, but 23k is going to be more than three times as fast to prove, so it won't be too much longer after popping it in to get results.

Don't consider this a reservation for the time being, though!

paulunderwood 2022-05-22 19:44

Nearly finished:

M86137 cofactor prp25896

Dropping:

M86371 cofactor prp25984
M87691 cofactor prp26371
E(11848)/(5*1582043) prp40792

Reserving:

R86453

sweety439 2022-05-22 23:00

[QUOTE=paulunderwood;606277]Nearly finished:

M86137 cofactor prp25896

Dropping:

M86371 cofactor prp25984
M87691 cofactor prp26371
E(11848)/(5*1582043) prp40792

Reserving:

R86453[/QUOTE]

= = Are you sure that Primo can handle this large prime? Recently, the limit of Primo just extended from 40000 digits to 50000 digits, to make you can use Primo to prove R49081

Suggest you to prove (18^25667-1)/17 = R25667(18), this prime is also a generalized repunit, and is much smaller than R49081, this prime is interesting (much more interesting than R86453, you think R86453 is interesting is only because we use the number 10 as the base (radix) of our positional numeral system) is because this prime is the smallest generalized repunit prime in base 18 apart from 19 = R2(18), see [URL="https://oeis.org/A128164"]https://oeis.org/A128164[/URL]

paulunderwood 2022-05-22 23:31

[QUOTE=sweety439;606293]= = Are you sure that Primo can handle this large prime? Recently, the limit of Primo just extended from 40000 digits to 50000 digits, to make you can use Primo to prove R49081

Suggest you to prove (18^25667-1)/17 = R25667(18), this prime is also a generalized repunit, and is much smaller than R49081, this prime is interesting (much more interesting than R86453, you think R86453 is interesting is only because we use the number 10 as the base (radix) of our positional numeral system) is because this prime is the smallest generalized repunit prime in base 18 apart from 19 = R2(18), see [URL="https://oeis.org/A128164"]https://oeis.org/A128164[/URL][/QUOTE]

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.

ryanp 2022-05-23 10:33

[QUOTE=Gelly;604910]Listed at UTM. I don't feel super-comfortable not having a certificate that's accessible to people anymore, but it appears that is happening to most of my primo certificates at this point. May have to look into some method of hosting them myself.

And yes, I may give a try to that next cofactor. Still settling into the new apartment, but 23k is going to be more than three times as fast to prove, so it won't be too much longer after popping it in to get results.

Don't consider this a reservation for the time being, though![/QUOTE]

I only noticed this thread recently. I was just working on M78737 cofactor and just [URL="http://factordb.com/certoverview.php?pending=true"]uploaded[/URL] the cert. Hopefully no one else burned cycles on this...

kruoli 2022-05-23 11:44

[QUOTE=ryanp;606315]I only noticed this thread recently. I was just working on M78737 cofactor and just [URL="http://factordb.com/certoverview.php?pending=true"]uploaded[/URL] the cert. Hopefully no one else burned cycles on this...[/QUOTE]

Huh?

[QUOTE=ryanp;549836]I decided to fire up certification of M78737 with Primo, using 64 processes. Hopefully no one else is already running this!

The machine it's running on is a 3Ghz, 36-core/72-thread system. Anyone have a rough sense of how long this should take?

(Addendum: it would be great if Primo was open-source... I'd love to understand more about these "stk4321" processes it spawns. If I could farm these out to a cluster and then feed the results back in, presumably this could go a lot faster).[/QUOTE]

paulunderwood 2022-05-23 11:58

[QUOTE=kruoli;606320]Huh?[/QUOTE]

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!

ryanp 2022-05-23 12:04

[QUOTE=kruoli;606320]Huh?[/QUOTE]

Yes, I had reserved this one a while back, then promptly forgot about it (beyond what I could do with Primo on a single machine).

paulunderwood 2022-05-23 12:31

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

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

via

[url]https://primes.utm.edu/bios/[/url]


All times are UTC. The time now is 02:39.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2022, Jelsoft Enterprises Ltd.