Triangularization over an algebraically closed field (source code)

= Triangularization over an algebraically closed field

Every square matrix over an algebraically closed field is similar to an upper-triangular matrix. Choose an eigenvector, extend it to a basis, and apply induction to the induced lower-right block.