is unique and is called the Smith normal form of .

For example, consider the matrix:

Its Smith normal decomposition is:
where:

In [NRi00], and affine smith normal form has been defined for affine matrices. The corresponding function in Polylib is:

**void****AffineSmith****(Lattice *A, Lattice **U, Lattice **V, Lattice **Diag)**- : compute the Smith normal form of a matrix

Sorin Olaru 2002-04-24