back to table · edit · history · where entries came from · files
As of the current version, 2026-09-06 13:02, “after the critique: the rigour details say every value is written to 100 digits, fewer than any ball supports; the class number formula's two cases are a sentence of their own; 11045/30000 truncates to 0.3681; w_K is said not to appear in the two cases rather than "no other denominator"”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| generate.py | 18341 bytes | 2026-09-06 |
Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.
These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.