The Hermite Normal Form matrix may be defined as follows: Given an integer matrix H of size m???n and full rank, H is in Hermite Normal Form if and only if H=[B 0] where B is a non-negative, non-singular lower triangular matrix such that for each row I, the unique maximal element is bi,i(i.e. Vj<i, bi,j<bi,i).