documented how Evd<double> encodes eigenvectors