Totally_positive_matrix loading ...