oriented_matroids
