Solution (source code)

= Solution

A complex <matrix> is diagonalisable when it is similar to a diagonal <matrix>, equivalently when the <vector space> has a <basis> of its <eigenvectors>.