tridiagonalization