computations with matroids