Redirecting to Smith normal form