如何判断矩阵是否可约