Files of Atiyah–Patodi–Singer rho invariants of lens spaces

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

As of the current version, 2026-10-30 10:45, “Keep the eta rigour link and restore Definition after the audit flags its link.”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 4290 bytes 2026-10-30
check.py 17709 bytes 2026-10-30
checks.py 7379 bytes 2026-10-30
generate.py 2706 bytes 2026-10-30
numerical-evidence.json 192082 bytes 2026-10-30
2 versions of this file
2026-10-30 10:27 zeta3 192082 bytes view · what changed
2026-10-30 10:26 zeta3 190648 bytes view · what changed — first recorded
repair-numerical-evidence.json 82139 bytes 2026-10-30
repair_check.py 3283 bytes 2026-10-30
skill-manifest.json 526 bytes 2026-10-30

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.