We study the representability problem for torsion-free arithmetic matroids. By using a new operation called "reduction" and "signed Hermite normal form", we provide implement an algorithm to compute all representations, up equivalence. As application, disprove two conjectures about poset of layers independence toric arrangement.