[revise] eigenvalue algorithms revised. eigenvectors are computed by backward substitution.