Distinguishment of the Integer Solution of a System of Linear Equations with Integer Coefficients

• 整系数线性方程组的整数解的判定