今天在研究循环不变式生成的新方法，发现用矩阵代数来表示仿射变换可以大大简化问题。