Smith_normal_form