back to table · edit · history · where entries came from · files
As of the current version, 2026-10-25 17:54, “Attach source-checked Niemeier order recomputation and repair evidence”. See the history to look at the files of an earlier one.
| name | size | last changed | |
|---|---|---|---|
| T496-repair-checks.json | 1137 bytes | 2026-10-25 — in this version | |
| T496-repair-evidence.md | 2467 bytes | 2026-10-25 — in this version | |
| borcherds-norm0.txt | 2458 bytes | 2026-10-25 | |
| check.py | 17709 bytes | 2026-10-25 | |
| checks.py | 6066 bytes | 2026-10-25 | |
| generate.py | 4311 bytes | 2026-10-25 | |
| independent-quotients.json | 1064 bytes | 2026-10-25 | |
| repair_check_T496.py | 4098 bytes | 2026-10-25 — in this version | |
| source-notes.md | 2978 bytes | 2026-10-25 |
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.
