TropLi: a software tool for computing tropical linear spaces
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 Adiscriminantal variety and
vertices of the Newton polytope of the Adiscriminant.

Please send me an email with any questions or comments you have, or simply letting me know how you have used TropLi.
Usage 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
If this software has been useful to you, please cite the paper
 Felipe Rincón, Computing Tropical Linear Spaces, J. Symbolic Comput. 51 (2013), 8698. (journal) (arXiv)
References  Felipe Rincón, Computing Tropical Linear Spaces, J. Symbolic Comput. 51 (2013), 8698.
 Eva Maria Feichtner and Bernd Sturmfels, Matroid polytopes, nested sets and Bergman fans, Port. Math. (N.S.) 62 (2005), no. 4, 437468.
 Algorithmic Solutions Software GmbH, LEDA Free Edition, available at http://www.algorithmicsolutions.com/leda/ledak/index.htm.

