mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Miscellaneous Math

Reply
 
Thread Tools
Old 2011-08-10, 02:38   #1
trhabib
 
Aug 2011
Austin, TX

316 Posts
Default Can I just leave this here? (ECPP)

If anybody's interested, you'll need WraithX's program to verify the certificate-- and you'll need to modify lines 64 through 67 to make it work (change 10000 to something more appropriate, like 40000).

I'm working on 60k digits next, but I have no idea when that will happen. It's probably going to take a while.
Attached Files
File Type: gz certificate.out.gz (186.9 KB, 134 views)
trhabib is offline   Reply With Quote
Old 2011-08-11, 00:47   #2
Christenson
 
Christenson's Avatar
 
Dec 2010
Monticello

24·107 Posts
Default

Quote:
Originally Posted by trhabib View Post
If anybody's interested, you'll need WraithX's program to verify the certificate-- and you'll need to modify lines 64 through 67 to make it work (change 10000 to something more appropriate, like 40000).

I'm working on 60k digits next, but I have no idea when that will happen. It's probably going to take a while.
You can, but only RDS will be able to figure out what it is with that sparse an explanation of what it is.
Christenson is offline   Reply With Quote
Old 2011-08-11, 01:16   #3
trhabib
 
Aug 2011
Austin, TX

310 Posts
Default

Quote:
Originally Posted by Christenson View Post
You can, but only RDS will be able to figure out what it is with that sparse an explanation of what it is.
The file is a Primo-format elliptic curve certificate for a number with 44637 decimal digits, using 12 elliptic curve reductions.

Primo caps out at about 30000 decimal digits for certificate verification, so you'll need to use another program to verify it. WraithX posted a program that verifies Primo certificates back in October 2010, but for this certificate, you have to tweak a few lines in the source code to get the program to accept larger input sizes.

I'm hoping to have a certificate for a number with about 60000 digits soon, but I have no idea how long it will take to do this.
trhabib is offline   Reply With Quote
Old 2011-08-15, 16:30   #4
chris2be8
 
chris2be8's Avatar
 
Sep 2009

3·647 Posts
Default

What program are you using to create the certificates? Is it publicly available, if so where? It would be nice to be able to prove R49081 is prime.

WraithX's program is available in this thread http://www.mersenneforum.org/showthread.php?t=14086 which should save other people some searching.

Chris K
chris2be8 is offline   Reply With Quote
Old 2011-08-17, 16:46   #5
chris2be8
 
chris2be8's Avatar
 
Sep 2009

194110 Posts
Default

Another question, did you start with a number and generate a certificate or did you build a certificate and see what number it was for?

Chris K
chris2be8 is offline   Reply With Quote
Old 2011-08-17, 23:35   #6
trhabib
 
Aug 2011
Austin, TX

3 Posts
Default

Quote:
Originally Posted by chris2be8 View Post
Another question, did you start with a number and generate a certificate or did you build a certificate and see what number it was for?

Chris K
The latter. Sorry I missed your first response; the software I used isn't publicly available yet, though I may clean it up and have it available before the end of the year.

It's pleasantly surprising to see how amenable the CM method is to being run "in reverse". If you're smart about it, it's pretty easy to generate numbers in the 10k-digit and 20k-digit range.

I don't know of any way to pick the final certified value; all the obvious methods related to my approach are impractical. I'm currently doing this as part of my undergrad research project; I'm hoping to at least make SOME progress toward the goal of being able to pick the ending value.
trhabib is offline   Reply With Quote
Old 2011-08-19, 16:34   #7
chris2be8
 
chris2be8's Avatar
 
Sep 2009

3·647 Posts
Default

OK, so it's not as useful as I hoped. But it's a good test for WraithX's code.

Chris K
chris2be8 is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
ECPP-DJ danaj Computer Science & Computational Number Theory 59 2020-10-10 04:57
Yafu@Home needs to leave some small sequences for us too... Stargate38 Aliquot Sequences 10 2017-11-15 13:43
Leave it to the computers - will you? storflyt32 storflyt32 16 2013-04-03 16:39
Yanks: leave off this Lockerbie Bomber davieddy Soap Box 3 2010-07-20 23:26
Can I leave team? 8191 Software 2 2003-11-14 08:20

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

Tue Nov 24 11:56:42 UTC 2020 up 75 days, 9:07, 4 users, load averages: 1.46, 1.70, 1.67

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