Software
TropLi: a software tool for computing tropical linear spaces
Written by Felipe Rincón
TropLi is a software tool for computing tropical linear spaces of matroids represented by some integer matrix A. It is based on the algorithm presented in the paper Computing Tropical Linear Spaces by Felipe Rincón for computing the cyclic Bergman fan of a matroid. TropLi can also be used to compute some matroidal invariants of the matrix A, like its collection of bases, circuits, and its Tutte polynomial. An additional tool called TropLi_disc is available for computing the tropicalization of the A-discriminantal variety and vertices of the Newton polytope of the A-discriminant.
Please send me an email with any questions or comments you have, or simply letting me know how you have used TropLi.
Tutorial
A short tutorial on how to use TropLi and TropLi_disc is available as a pdf file.
Download
Executable files for Linux
If you have access to a Linux machine, you can try first downloading these files. These binary files are ready to be run (after giving them the "execute" permission), and should work on several Linux distributions.
Source code
C++ code. Requires the LEDA C++ library.
References
Felipe Rincón, Computing Tropical Linear Spaces, J. Symbolic Comput. 51 (2013), 86-98.
Eva Maria Feichtner and Bernd Sturmfels, Matroid polytopes, nested sets and Bergman fans, Port. Math. (N.S.) 62 (2005), no. 4, 437-468.
Algorithmic Solutions Software GmbH, LEDA Free Edition, available at https://www.algorithmic-solutions.com/index.php/products/leda-free-edition.