Loading paper
Sums and products of symplectic eigenvalues | Tomesphere