定义1 (LATTICE) 给定 n n n 个线性无关向量b1,b2,…,bn∈Rm b_{1},b_{2},\ldots,b_{n}\in\mathbb{R}^{m} b1,b2,…,bn∈Rm，由它们产生的格被定义为, L(b1,b2,…,bn)={Σxibi∣xi∈Z} \mathcal{L}(b_1\:,b_2,\ldots,b_n)=\{\Sigma x_ib_i|x_i\in\mathbb{Z}\} L(b1,b2,…,bn)={Σxibi∣xi∈Z}