smithnormalform
test
