Matrix_equivalence loading ...