上的稠密矩阵 ZZ/nZZ 对于 n < 2^{{23}} 使用LinBox的 Modular<double>