Compute the Hermite normal form of a matrix over a principal ideal domain

Original label: Compute the Hermite normal form of a matrix over a principal ideal domain