Finding eigenvalues, eigenvectors, diagonalisation

Stream: Is there code for X?

[Vivek Rajesh Joshi]

I've searched through Mathlib, and I've found theorems about existence of the above mentioned things, but I didn't find any algorithm to find them from the matrix. Could someone tell me whether there are such algorithms in Mathlib?

[Shreyas Srinivas]

Basically you will find little to none of the algorithmic Matrix algebra you find in an elementary linear algebra course