Sequential Integer Smith form
Fermat cannot compete with pivoting suited to Homology
Valence computes several ranks ? improvement in parallel
Coefficient growth and fill-in kill integer eliminations
Full sequential computation of the integer Smith form with different systems