因数全部都在预先选定的因数基底里。 我们将每个 formula_4 的表达式表示成一个矩阵中的向量，其中的每个整数「元」（entries）为因数基底里的因数之次方。 矩阵中的列之线性组合对应到这些表达式的乘法。 一个模 2 下矩阵列的线性相依将导向所需的同余关系 formula_6。 这基本上将问题转化成为了一个线性方程组，其可以借由许多的方法求解，例如：高斯消去法；实际上，更进阶的方法像是block Lanczos演算法会被使用，其利用了此方程组的一些特殊性质。这类同余关系可能会产生平凡解：formu