Some CRUS stats

[rogue]

Gary, thanks for all of your hard work. I like the new look.

I found one mistake (while looking for old outstanding reservations). R444 has a date of 2010/04/19. It should be 2011/04/19.

[gd_barnes]

Originally Posted by rogue

Gary, thanks for all of your hard work. I like the new look.

I found one mistake (while looking for old outstanding reservations). R444 has a date of 2010/04/19. It should be 2011/04/19.

Thanks! Mathew also found a couple of things so everything will be corrected with a regular update shortly.

[rogue]

I would like to see is a page that takes http://www.noprimeleftbehind.net/cru...e-reserves.htm and http://www.noprimeleftbehind.net/cru...e-reserves.htm and only shows what is reserved.

I do not know how Gary manages the HTML, whether it is via hand or generated via a tool. If the former, then maybe a perl script could do as desired. If the latter, then the tool could probably be modified to generate both at one time.

[gd_barnes]

Originally Posted by rogue

I would like to see is a page that takes http://www.noprimeleftbehind.net/cru...e-reserves.htm and http://www.noprimeleftbehind.net/cru...e-reserves.htm and only shows what is reserved.

I do not know how Gary manages the HTML, whether it is via hand or generated via a tool. If the former, then maybe a perl script could do as desired. If the latter, then the tool could probably be modified to generate both at one time.

That sounds like a task for Vmod. With all of the reservations now on just one page for each side, it should be a far easier script to write than the ones that he's already written for the CRUS stats.

I use Microsoft FrontPage, an old program, to keep the pages up to date. It works quite well for such simplistic pages. Modifying HTML manually would be a horrible task.

[rogue]

Could the crus-stats.htm page be modified to show the reserved conjectures in yellow?

[kar_bon]

Originally Posted by rogue

Could the crus-stats.htm page be modified to show the reserved conjectures in yellow?

The problem is that for many conjectures there're only one or a few k-values reserved and the remaining are free.

Another hurdle: quantity of pages.
- 2 pages for Riesel conj
- 2 pages for Sierp conj
- 1 page for Riesel reserve
- 1 page for Sierp reserve
- 173 pages for remaining k-values (varying)

It would be easier to combine the first 6 pages from above into 2 (one for Riesel and Sierp).

I think, it's possible to determine if any k-value of a base is reserved and then marking in crus-stats-htm this base in yellow.

But: vmod, who programmed the script to create that page, was not online since May.

I've looked at his scripts and eliminated an error causing a display-error in the last three tables there but to fully understand his sources would take some time.

I will try such effort because the script for the condensed tables I've done in a similiar way reading the 4 conjecture html-pages.

[gd_barnes]

Originally Posted by kar_bon

The problem is that for many conjectures there're only one or a few k-values reserved and the remaining are free.

Another hurdle: quantity of pages.
- 2 pages for Riesel conj
- 2 pages for Sierp conj
- 1 page for Riesel reserve
- 1 page for Sierp reserve
- 173 pages for remaining k-values (varying)

It would be easier to combine the first 6 pages from above into 2 (one for Riesel and Sierp).

I think, it's possible to determine if any k-value of a base is reserved and then marking in crus-stats-htm this base in yellow.

But: vmod, who programmed the script to create that page, was not online since May.

I've looked at his scripts and eliminated an error causing a display-error in the last three tables there but to fully understand his sources would take some time.

I will try such effort because the script for the condensed tables I've done in a similiar way reading the 4 conjecture html-pages.

For reservations, you only need to look at 2 pages:
Riesel reservations
Sierpinski reservations

Reservations are shown nowhere else now. That is why I removed them off of what I now call the "base remaining k" instead of the "base reservations" pages.

The automation of this is why I undertook that big effort several months ago...and to show all of the reservations on just 2 pages.


Gary

[kar_bon]

A first version of showing reserved bases in the condensed tables are available here.

A base where at least one k-value is reserved (by person or project) is shown in yellow by processing the two reservation pages updated by Gary.

The special power-of-2 conjectures are not yet shown correctly.

The next step is to do the same for the Crus_Stats-page, but this will take some time.

[rogue]

It would nice on the cru_stats.html page to see the unproven conjectures tested to the largest n or decimal length. It would give users a better idea as to how difficult those conjectures have been to prove. I would almost view it as a "most wanted" list.

BTW, my request from September is still waiting...

[gd_barnes]

Originally Posted by rogue

It would nice on the cru_stats.html page to see the unproven conjectures tested to the largest n or decimal length.

It would give users a better idea as to how difficult those conjectures have been to prove.

How can currently unproven conjectures be currently proven? I know what you mean.

BTW, my request from September is still waiting...

Anyway...in response to both comments:

The person who wrote the scripts has not been around for a long time. Karsten did a little debugging when a problem was found with one of them but there are no plans to add any more functionality to them.

[rogue]

Originally Posted by gd_barnes

How can currently unproven conjectures be currently proven? I know what you mean.

Oops.

The person who wrote the scripts has not been around for a long time. Karsten did a little debugging when a problem was found with one of them but there are no plans to add any more functionality to them.

Are the scripts available? I (or someone else) might take a look.