Nit: I would write this as `one call to eigh`, just to be more explicit.