Computing the Iwasawa decomposition of a symplectic matrix by Cholesky factorization

We obtain an explicit Iwasawa decomposition of the symplectic matrices, complex or real, in terms of the Cholesky factorization for positive definite n×nn×n matrices.