非质数对行列式取模

一般是辗转相除法。

可以发现,每一次都是减去向下取整 $\frac{a_{i,i}}{b_{i,i}}$ 乘上一个东西。

这个东西就是相同位进行加减的结果,设 $a'=Aa+Bb.b'=Ca+Db$, 这个应该很好求,