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