diagonal_hermitian_eigenvalue_decomposition Submodule