The quartic companion: [formula in source] G31 as the holomorphic [formula in source] mu4 shadow
E8 and the Gaussian code
All checks of this section are from quartic_half_probe.py ( [formula in source] checks, [formula in source] failures, verdict quartic-half-alive; exact Gaussian-integer and Gaussian-rational arithmetic, no floats anywhere), run in the standard doubled-coordinate model of [formula in source] (roots [formula in source] and [formula in source] with an even number of minus signs; norm [formula in source] ), which by Rema
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/note_e8_gaussian_code/sections/002-section-explicit-character-basis-of-the-eight-coxeter-ch.tex · lines 94 to 106
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation QuarticHalf.lean
literal source filename/path in TeX
- explicit file citation quartic_half_probe.py
literal source filename/path in TeX