- The result is given in the form , where and are unimodular matrices, is a diagonal matrix with each diagonal entry dividing the next one, and u.m.vr.
- The unimodular matrices u and v are integer matrices with Abs[Det[u]]1, and their inverses are also integer matrices.
Basic Examples (1)
Decompose m into unimodular matrices u and v and a diagonal matrix r:
Each entry on the diagonal of r divides the successor:
The matrices u and v are unimodular, i.e. determinants are units:
Properties & Relations (6)
Introduced in 2015