Characteristic_polynomial_of_matroids loading ...