Tropical.TOM

From MaRDI portal
Dataset:161358



MaRDI QIDQ161358

Item from PolyDB: All known non-realisable tropical oriented matroids with parameters n=6, d=3 or n=d=4.

Silke Horn

Source code repository: https://github.com/solros/tropmat



All known non-realisable tropical oriented matroids with parameters n=6, d=3 or n=d=4. They were computed using polymake with the tropmat extension and Topcom. You need the extension tropmat for this.