Let A be a real n×n matrix. Then there exist orthogonal matrices T1 and T2 such that A=T1DT2 where D is a diagonal matrix with positive entries. D is unique up permutation of the diagonal entries. This decomposition is sometimes called Cartan decomposition.
Question: Is it possible to obtain the matrix D for a given matrix A in Sage?