Remove the definition of `eigenvalues()`