Algebraic proof of modular form inequalities for optimal sphere packings

Supplementary Sage codes for the paper Algebraic proof of modular form inequalities for optimal sphere packings.

Requirements: SageMath version >= 9.8