History of Alexander polynomials of the prime knots with at most ten crossings

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

when	who	what
2026-09-03 04:05	zeta3	Definition back under the audit's length threshold: 'normalised to a positive constant term' says the same as 'so that its constant term is nonzero and positive', since positive implies nonzero	current reviewed
2026-09-03 04:03	zeta3	Acting on the T138 critique: the Definition names Perko's corrected numbering; the Burau strand count is r, not the crossing number n; Phi_d is named where the Formulas first use it; the issue-tracker citation, a build remark in comment (10) and the log-like sentences in the rigour details are gone;
2026-09-03 03:48	zeta3 with claude (agent run 20260	Alexander polynomials of the unknot and the 249 prime knots with at most ten crossings, each checked against a Burau determinant and, outside the generator, against KnotInfo
2026-09-03 03:47	zeta3	checking that this table can be written to
2026-09-03 03:47	zeta3 with claude (agent run 20260903T033028Z)	draft: Alexander polynomials of the prime knots with at most ten crossings, proposal 1 of BATCH-2026-09-03T0305

What changed between 2026-09-03 04:03 and 2026-09-03 04:05

from line 1 (7 lines) @@ -1,7 +1,7 @@

 Title: Alexander polynomials of the prime knots with at most ten crossings Definition: The Alexander polynomial $\Delta_K(t)\in\mathbb{Z}[t]$ of a knot $K$ CITE{Wiki},-  defined up to a factor $\pm t^m$ and normalised so that its constant term is nonzero-  and positive, for the unknot $0_1$ and for every prime knot $n_k$ with at most ten-  crossings, named as in the Rolfsen table CITE{Rolfsen} with Perko's correction CITE{Perko}.+  defined up to a factor $\pm t^m$ and normalised to a positive constant term, for+  the unknot $0_1$ and for every prime knot $n_k$ with at most ten crossings, named+  as in the Rolfsen table CITE{Rolfsen} with Perko's correction CITE{Perko}. Parameters:   n: