mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Conjectures 'R Us

Reply
 
Thread Tools
Old 2010-11-23, 21:13   #78
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

2×2,851 Posts
Default

Quote:
Originally Posted by mdettweiler View Post
The conjectured Riesel base 2 k (509203) is itself prime, so the "prime conjecture" is thus covered by the regular one. There would of course be a second Riesel k somewhere up there which would be the "second conjecture", but AFAIK no work has been done on that thusfar (perhaps because the first conjecture is still a ways away from a proof, which is not so much the case on the Sierpinski side).
I hadn't thought about that. Thanks. I don't think the project needs to take on any new work.
rogue is offline   Reply With Quote
Old 2011-08-24, 19:17   #79
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

22·709 Posts
Default

Bump
MyDogBuster is offline   Reply With Quote
Old 2011-08-24, 19:58   #80
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT)

22·5·283 Posts
Default

I just realized that http://www.noprimeleftbehind.net/cru...crus-stats.htm shows the weight of the bases with 1k remaining. This information is meaningless though as lower bases will have more tests before reaching the same decimal size. Would it be possible to have something weighting the bases in this way?
henryzz is offline   Reply With Quote
Old 2014-12-09, 01:30   #81
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

22×709 Posts
Default

Bump
MyDogBuster is offline   Reply With Quote
Old 2014-12-09, 13:40   #82
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

2×2,851 Posts
Default

Quote:
Originally Posted by henryzz View Post
I just realized that http://www.noprimeleftbehind.net/cru...crus-stats.htm shows the weight of the bases with 1k remaining. This information is meaningless though as lower bases will have more tests before reaching the same decimal size. Would it be possible to have something weighting the bases in this way?
That is what "Relatively Difficulty" is used for on http://www.noprimeleftbehind.net/cru...s-unproven.htm. It takes into account n.

Gary, the awk scripts must still be pointing to http://home.roadrunner.com/~mrodenkirch/sortable.js. Those scripts need to be modified to point to a copy of that script on the NPLB web server. That script can be found in the PRPNet sources. Without that script the columns cannot be sorted.
rogue is offline   Reply With Quote
Old 2014-12-12, 04:11   #83
mdettweiler
A Sunny Moo
 
mdettweiler's Avatar
 
Aug 2007
USA (GMT-5)

11000011010012 Posts
Default

Quote:
Originally Posted by rogue View Post
That is what "Relatively Difficulty" is used for on http://www.noprimeleftbehind.net/cru...s-unproven.htm. It takes into account n.

Gary, the awk scripts must still be pointing to http://home.roadrunner.com/~mrodenkirch/sortable.js. Those scripts need to be modified to point to a copy of that script on the NPLB web server. That script can be found in the PRPNet sources. Without that script the columns cannot be sorted.
Yeah, Gary sent me a PM a while back asking me to work on fixing the link to that by hosting the file directly on our site. It's on my to-do list.

(Thanks for the reminder...)
mdettweiler is offline   Reply With Quote
Old 2015-11-04, 14:03   #84
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

22×709 Posts
Default

Bump
MyDogBuster is offline   Reply With Quote
Old 2018-12-06, 09:34   #85
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

22·709 Posts
Default

Bump
MyDogBuster is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Primes for proven bases CGKIII Conjectures 'R Us 46 2017-01-03 17:31
Proven PRPs? Random Poster FactorDB 0 2012-07-24 10:53
Poincare conjecture proven? Nebob Lounge 36 2010-03-30 13:14
Are Legendre symbols proven to be defective? jasong Math 67 2008-04-20 15:01
Has this been proven? ... 10^n + 1 monst Math 16 2007-08-06 13:14

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

Thu May 28 22:30:15 UTC 2020 up 64 days, 20:03, 1 user, load averages: 2.32, 1.66, 1.63

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.