History of Gaussian period polynomials

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

when	who	what
2026-09-03 17:18	zeta3	After the critique: the Hilbert class polynomials row of Similar tables no longer says "the other family ... here", which counted the site's families and miscounted them; it says what the relation is, that both define abelian extensions, of an imaginary quadratic field and of Q	current reviewed
2026-09-03 17:04	zeta3 with Claude Code, table-build@8390298, run 20260903T164238Z	Definition shortened to one sentence, as audit_table asked; nothing else changed
2026-09-03 17:00	zeta3 with Claude Code, table	Gaussian period polynomials for every prime p < 200 and every divisor k of p - 1 with 2 <= k <= 12, k < p - 1: the exact product over the periods, equal to PARI polsubcyclo and proven by a ball product, with the quadratic and cubic closed forms, the congruence modulo p and the discriminant checked o
2026-09-03 17:00	zeta3	checking that this table can be written to
2026-09-03 16:59	zeta3 with Claude Code, table-build@8390298, run 20260903T164238Z	draft: Gaussian period polynomials, proposal 5 of BATCH-2026-09-03T1011

What changed between 2026-09-03 17:04 and 2026-09-03 17:18

from line 101 (7 lines, 1 more than before) @@ -101,6 +101,7 @@

   relation: the $\zeta_p^{\,a}$ that are summed into the periods - table: HREF{Hilbert_class_polynomials}[Hilbert class polynomials $H_\Delta$]-  relation: the other family of exact polynomials here defining abelian extensions,-    of imaginary quadratic fields rather than of $\mathbb{Q}$+  relation: its roots generate the ring class field of $\mathbb{Q}(\sqrt{\Delta})$,+    an abelian extension of an imaginary quadratic field, as the roots of $\Psi_{p,k}$+    generate abelian extensions of $\mathbb{Q}$ Links:   Wiki: