尼古拉斯，推论1，第4页，引用曼德尔和西蒙，引理4.1：设d为N^*，则每个dxd扭转矩阵M满足M^（（2*d^2）！+d） =M ^d。
文摘：矩阵扭转问题（MTP）是：给定一个具有有理项的方阵M，判定M的两个不同幂是否相等。Cassaigne和作者已经证明，MTP在多项式时间内可归结为矩阵幂问题（MPP）：给定两个具有有理项的方阵A和B，MTP决定B是否为A的幂。由于MPP在多项式时是可判定的，因此MTP也是如此。然而，MPP的算法非常重要。本注释的目的是为MTP提供一个简单、直接的多项式时间算法。
