Searching in Eigen/src/Householder