C = matrix(CDF, [[0.5*I, 0.5*sqrt(3)],[0.5*sqrt(3), 0.5*I]])
C.eigenvectors_left()