tFactorsToElementaryDivisors :: [Integer] -> [(Integer, Integer)]
invariantFactorsToElementaryDivisors factors = sort $ factors >>= splitFactors

elemen
invariantFactorsToElementaryDivisors :: [Integer] -> [(Integer, Integer)]
invariantFactorsToElementaryDivisors factors = sort $ factors >>= splitFactors
invariantFactorsToElementaryDivisors factors = sort $ factors >>= splitFactors