Autonne–Takagi factorization