矩阵快速幂的多项式取模优化