arXiv++ Combinatorics

In this paper, we give a new axioms system based on nonseparable flats with their ranks to define a matroid. We deduce a polynomial time algorithm for deciding if a given matroid (respectively, arbitrary structure) is an uniform matroid. This problem is intractable if we use an independence or an equivalent oracle.