Manuscript En02-E@2 · En02-E-v2.tex · section · c2769986
The complete finite packet state
The complete finite packet state · lines 443–447
These formulas are finite-mode Gaussian normal-mode methods Weedbrook,Caruso, with conventions fixed by the proof.