#smith name #normal form #standard form #matrix reduction #elementary operations