The basis matrix B is unimodular

• 基矩阵B是幺模的。