But the same is true of any matrix: although not documented I think, eigen
always returns normalized eigenvectors.
Well there’s probably a matrix type out there that specializes eigen
and returns non-normalized vectors, but even so it seems like a detail of the implementation with no mathematical meaning…