Setup SmithNormalForm