尝试矩阵
改写defeq