Registry · Remark IV.R342 tau-effective formalized

IV.R342 — Factorizations

The Level 1+ formula admits two factorizations: R = iota_tau^{-7}[1-(sqrt(3)+pi^3*alpha^2)*iota_tau^5] ~ 0.992*iota_tau^{-7} showing <1% correction, and R = iota_tau^{-2}[iota_tau^{-5}-sqrt(3)-pi^3*alpha^2] ~ 214.2*iota_tau^{-2} separating torus area scaling from effective mode count.

Book IV Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookIV.MassDerivation.BreathingModes

Symbol: Tau.BookIV.MassDerivation.Factorizations