Remove the declaration of `eigenvalues()`