ismith a comme argument une matrice à coefficients dans
ℤ.
ismith renvoie les matrices U, B et V tels que U et
V sont inversibles dans ℤ, B est diagonale avec
B[i,i] divise B[i+1,i+1] et on a B=U*A*V.
Les B[i,i] s’appellent facteurs invariants et permettent entre
autre de trouver la structure des groupes abéliens de type fini.
On tape :
On obtient :
Les facteurs invariants sont 3, 12 et 60.