FockPhaseSpace
Wigner and Husimi grids for non-Gaussian states against analytic forms
2/2 passed in 68ms
| Test | What it does | Result |
|---|---|---|
test_fock_laguerre | The Wigner function of |n> is (-1)^n L_n(2 r^2) e^{-r^2}/pi pointwise for n up to 4. | ✅ pass |
test_rotation_exact | Rotating a cat in the number basis is a diagonal phase: it matches a directly built rotated cat to 1e-9 and discards nothing extra. | ✅ pass |