Added Smith normal form