For square matrices this normal form is upper-triangular and idempotent ... If the argument is a square matrix, then the Hermite normal form can be transformed into the row echelon form by rearranging ...