Files of Ellenberg–Gijswijt constants and reduced polynomial multiplication subrank

back to table · edit · history · where entries came from · files

As of the current version, 2026-11-01 17:54, “Link the constants to their minimizing arguments through the shared objective”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 5427 bytes 2026-11-01
audit-disposition.md 2085 bytes 2026-11-01
audit.json 637 bytes 2026-11-01
checks.py 10475 bytes 2026-11-01
entropy-reference.json 544 bytes 2026-11-01
generate.py 4862 bytes 2026-11-01
numerical-evidence.json 70923 bytes 2026-11-01
selection-fingerprint.json 506 bytes 2026-11-01
skill-evidence.json 502 bytes 2026-11-01
source-manifest.json 554 bytes 2026-11-01
stored-evidence.json 92144 bytes 2026-11-01
tag-matrix-multiplication.json 364 bytes 2026-11-01
verification.md 5509 bytes 2026-11-01

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.