 
 
 
	
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.
 
 
