MrMustard 连续变量光学

用固定 MrMustard 计算真空经高斯光学门与衰减后的相空间矩、光子数和显式截断的 Fock 概率。