yakovbraver
Results
3
comments of
yakovbraver
Thank you for the detailed answer. The matrix in the above example does possess degenerate eigenvalues. We can make the MWE even more minimal by considering a matrix of only...
Thanks for the tip! > We can't fix this other direction -- by making complex diagonal matrices with real-valued entries return real eigenvalues -- because that would be a type...
I tend to agree.