List of proven/1k/2k/3k conjectures - Page 5

MyDogBuster · 2010-08-20, 04:50

The table is real useful.

Question. Gary and I are still maintaining the tables in post 15 and 16. Would it be better to replace those tables with this table, and also have a way to re-generate it or just display it with a link? No sense in having all these tables to maintain by hand. The comprehensive one is good enough for all. It would also be nice if this table was in post#1.

kar_bon · 2010-08-20, 05:51

I'll answer to the last 2 posts later today.

Meanwhile I'm looking for the issues and resolve them.

The best way would be, Gary could run the script on his server, so the condensed CRUS page will generated on there directly and uptodate if needed.
I'll help him if errors like these should occur.

The 2 tables in post #15/16 should be moved to a new post #2 and #3, it's easier to find them. Those tables could be generated by calling the above script, too, so they all contain current and same information!

gd_barnes · 2010-08-20, 06:18

Guys, I am so lost here. Ian and I have just been manually updating posts 15 and 16. I like the condensed format in those postings. Where is this script and page that you are talking about? Are you talking about the page in "interests" "CRUS table" at rieselprime.de? If so, that won't help us on posts 15 and 16.

I've said it before, I don't really want to add any complexity to the pages. I'm at my limit on HTML understanding already. To put something in them to automatically generate another page is not something that I really want to do.

All of that said, Karsten's page is very cool and useful! :-)

kar_bon · 2010-08-20, 10:57

Quote:

Originally Posted by Mathew Steine

3 things I noticed:

1) R670 is proven
It is shown as grey. Depending on when updates occurred should have been the 1k color or proven color.

@Gary:
There's a missing "</td>" at R670 in the line (10430)

Code:

<td bgcolor="#D3D5AE">none - proven</td><td bgcolor="#D3D5AE">32 (79644)<br>

Others:
- missing "</tr>" at R28
- missing "</tr>" at R644
- doubled "</tr>" at end of S429
- doubled "</tr>" at end of S483
- doubled "</tr>" at end of S924
- missing "</tr>" at S993

I don't know why this happens again and what tool you use to generate the html.
But this is the reason, why such a script can't work correct at all.
My text-editor with code-explorer gives also warnings for "<p>" without "</p>" or others but those are not needed for the script running.

You can check html pages here.

Quote:

Originally Posted by Mathew Steine

2) Gary keeps adding bases (while base 280 is waiting

) now up to 1029. So title is ≤1029

Corrected!

Quote:

Originally Posted by Mathew Steine

3) This one looks to be entirely my fault. When a base has more than 25 k's it will only show the places to the left of the decimal and leaves of the K. See R108 should be 14.9K but instead shows [14]

Corrected!
My script searched for "n=xxK." (or "M.") as search-range and I took the text up to the '.'.
But if the range was given as "14.9K." as spotted, the first point was used.

Quote:

Originally Posted by Mathew Steine

I really appreciate this page. It is easy to see things like proven bases along a diagonal R20 to R101, or gaps between proven bases.

Yep, or as mentioned before, bases ending in xx4 or xx9 are more proven than others!

I've uploaded the newest page.

@Gary:
I can send you those 2 scripts (updating the post #15/#16 and the CRUS_tab) if you wish.

10metreh · 2010-08-20, 11:43

This hasn't been fixed yet:

Quote:

Originally Posted by 10metreh

Also, for bases 3, 7 and 15, the limit of searching by k is not given (so, for Riesel base 3, the list says that 3326 ks are remaining, whereas that is actually only up to k=820M).

kar_bon · 2010-08-20, 13:04

Quote:

Originally Posted by 10metreh

This hasn't been fixed yet:
Also, for bases 3, 7 and 15, the limit of searching by k is not given (so, for Riesel base 3, the list says that 3326 ks are remaining, whereas that is actually only up to k=820M).

This need more standardization of the original pages!

Examples:
R3: "3326 k's remaining for k<=820M." here "<=" coded as "<=" (same R15, S3)
R7: "5 k's remaining for k<=1M:" here "<=" coded as "<=" (same S7, S15)
S63: without any range given.

So I suggest to code it like "k≤820M." (attend "≤" for "<=" and "." at end).

PS: I've coded it for R3, R15 and S3 but it's too complicated without those simplifications in the original page!

MyDogBuster · 2010-08-20, 17:13

Quote:

Guys, I am so lost here. Ian and I have just been manually updating posts 15 and 16.

All I was trying to do was make it easier to re-generate the tables for post 15 and 16 and maybe move them closer to the front of the thread to make them easier to find. Even though you and I do a pretty good job of updating them, they were out of sync a bit with the pages.

kar_bon · 2010-08-20, 21:04

To spare the time from updating posts #15/#16 with only showing conjectures proven/1-k/2-k/3-k, I've change my script to this, too!

I've left off the bases not tested yet to be near the original table in those posts and to even get a smaller one!

Both tables from posts #15/#16 are now at the end of the condensed table together with the 'big' tables in this page.

Have a look. Perhaps there'e still errors or post suggestions.

MyDogBuster · 2010-08-20, 21:31

I love it Karsten. That would save a lot of manual posting. The short tables are actually easier to read.

What do ya think Gary?

gd_barnes · 2010-08-21, 02:19

Quote:

Originally Posted by MyDogBuster

I love it Karsten. That would save a lot of manual posting. The short tables are actually easier to read.

What do ya think Gary?

Love it. Karsten, can you consistently run that once per day? If so, I'll suggest deleting post 16 and putting a link to that page in post 15.

Ian and Karsten, does that sound like a good plan? I have to admit I kind of enjoyed manually updating posts 15 and 16 but it was a hassle that is best to have automated.

Nice work as usual Karsten!

kar_bon · 2010-08-21, 07:31

Quote:

Originally Posted by gd_barnes

Love it. Karsten, can you consistently run that once per day?

What about this:

I send you the script, so you can run it when the original pages were updated, generate the new condensed tabs-page and upload it with the others immediatly!

I can change some lines, so the page will fit to the others. And: full support granted on my side if any changes needed!

2010-08-20, 04:50	#45
MyDogBuster May 2008 Wilmington, DE 2²·23·31 Posts	The table is real useful. Question. Gary and I are still maintaining the tables in post 15 and 16. Would it be better to replace those tables with this table, and also have a way to re-generate it or just display it with a link? No sense in having all these tables to maintain by hand. The comprehensive one is good enough for all. It would also be nice if this table was in post#1. Last fiddled with by MyDogBuster on 2010-08-20 at 04:51

2010-08-20, 06:18	#47
gd_barnes May 2007 Kansas; USA 101×103 Posts	Guys, I am so lost here. Ian and I have just been manually updating posts 15 and 16. I like the condensed format in those postings. Where is this script and page that you are talking about? Are you talking about the page in "interests" "CRUS table" at rieselprime.de? If so, that won't help us on posts 15 and 16. I've said it before, I don't really want to add any complexity to the pages. I'm at my limit on HTML understanding already. To put something in them to automatically generate another page is not something that I really want to do. All of that said, Karsten's page is very cool and useful! :-) Last fiddled with by gd_barnes on 2010-08-20 at 06:26

2010-08-20, 21:31	#53
MyDogBuster May 2008 Wilmington, DE 2²·23·31 Posts	I love it Karsten. That would save a lot of manual posting. The short tables are actually easier to read. What do ya think Gary? Last fiddled with by MyDogBuster on 2010-08-20 at 21:32

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

2010-08-20, 05:51	#46
kar_bon Mar 2006 Germany 3²×17×19 Posts	I'll answer to the last 2 posts later today. Meanwhile I'm looking for the issues and resolve them. The best way would be, Gary could run the script on his server, so the condensed CRUS page will generated on there directly and uptodate if needed. I'll help him if errors like these should occur. The 2 tables in post #15/16 should be moved to a new post #2 and #3, it's easier to find them. Those tables could be generated by calling the above script, too, so they all contain current and same information!

2010-08-20, 21:04	#52
kar_bon Mar 2006 Germany 3²×17×19 Posts	To spare the time from updating posts #15/#16 with only showing conjectures proven/1-k/2-k/3-k, I've change my script to this, too! I've left off the bases not tested yet to be near the original table in those posts and to even get a smaller one! Both tables from posts #15/#16 are now at the end of the condensed table together with the 'big' tables in this page. Have a look. Perhaps there'e still errors or post suggestions.