ismith παίρνει ως όρισμα έναν πίνακα με συντελεστές στο
ℤ.
ismith επιστρέφει τους τρεις πίνακες
U, B, V όπου
B=U*A*V, και οι
U και
V είναι αντιστρέψιμοι στο ℤ.
Ο
B είναι διαγώνιος, και το
B[i,i] διαιρεί το
B[i+1,i+1].
Οι συντελεστές
B[i,i] ονομάζονται
αναλλοίωτοι παράγοντες, και χρησιμοποιούνται για να περιγράψουν
την δομή πεπερασμένων αβελιανών (αντιμεταθετικών) ομάδων.
Είσοδος :
Έξοδος :
Οι αναλλοίωτοι παράγοντες είναι οι 3, 12 και 60.