Quaternions and the eigenproblem: a new Jacobi algorithm and its convergence