As the title suggests, I need to know if there exists some math software deciding whether an abstract simplicial complex is or not a matroid. In other terms, I would like to give a finite ground set and an abstract simplicial complex on it as input and to obtain as output true if the given abstract simplicial complex is the family of the independent sets of a matroid, false otherwise.
I tried to google a few, but I have not found nothing on such a problem. I fear that some computational obstruction is preventing the implementation of this algorithm. Otherwise, it seems strange to me that no specialized software points out such a functionality. Can you please help me? It is really important for me to have my question answered.