Documentation

SpherePacking.MagicFunction.a.Eigenfunction

source
theorem MagicFunction.a.Fourier.perm_I₁_I₂ :
(SchwartzMap.fourierTransformCLE ℂ) (SchwartzIntegrals.I₁ + SchwartzIntegrals.I₂) = SchwartzIntegrals.I₃ + SchwartzIntegrals.I₄
source
theorem MagicFunction.a.Fourier.perm_I₅ :
(SchwartzMap.fourierTransformCLE ℂ) SchwartzIntegrals.I₅ = SchwartzIntegrals.I₆
source
theorem MagicFunction.a.Fourier.perm_₃_I₄ :
(SchwartzMap.fourierTransformCLE ℂ) (SchwartzIntegrals.I₃ + SchwartzIntegrals.I₄) = SchwartzIntegrals.I₁ + SchwartzIntegrals.I₂
source
theorem MagicFunction.a.Fourier.perm_I₆ :
(SchwartzMap.fourierTransformCLE ℂ) SchwartzIntegrals.I₆ = SchwartzIntegrals.I₅
source
theorem MagicFunction.a.Fourier.eig_a :
(SchwartzMap.fourierTransformCLE ℂ) FourierEigenfunctions.a = FourierEigenfunctions.a