tridiagonalization diagonalisation diagonalization biorthogonalization antidiagonal diagonalizability biorthogonalisation matrix decomposition subdiagonal diagonalness