Documentation

SpherePacking.MagicFunction.b.Eigenfunction

source
theorem MagicFunction.b.Fourier.perm_J₁_J₂ :
(SchwartzMap.fourierTransformCLE ℂ) (SchwartzIntegrals.J₁ + SchwartzIntegrals.J₂) = -(SchwartzIntegrals.J₃ + SchwartzIntegrals.J₄)
source
theorem MagicFunction.b.Fourier.perm_J₅ :
(SchwartzMap.fourierTransformCLE ℂ) SchwartzIntegrals.J₅ = -SchwartzIntegrals.J₆
source
theorem MagicFunction.b.Fourier.perm_₃_J₄ :
(SchwartzMap.fourierTransformCLE ℂ) (SchwartzIntegrals.J₃ + SchwartzIntegrals.J₄) = -(SchwartzIntegrals.J₁ + SchwartzIntegrals.J₂)
source
theorem MagicFunction.b.Fourier.perm_J₆ :
(SchwartzMap.fourierTransformCLE ℂ) SchwartzIntegrals.J₆ = -SchwartzIntegrals.J₅
source
theorem MagicFunction.b.Fourier.eig_b :
(SchwartzMap.fourierTransformCLE ℂ) FourierEigenfunctions.b = -FourierEigenfunctions.b