Hermite normal form

Hermite Normal Form (HNF) is a special form of a matrix used in linear algebra, particularly in the context of integer linear algebra. A matrix is in Hermite Normal Form if it satisfies the following conditions: 1. It is an upper triangular matrix: All entries below the main diagonal are zero. 2. The diagonal entries are strictly positive: Each diagonal entry is a positive integer.