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.

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

Citation

If this software has been useful to you, please cite the paper
  • Felipe Rincón, Computing Tropical Linear Spaces, J. Symbolic Comput. 51 (2013), 86-98. (journal) (arXiv

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 http://www.algorithmic-solutions.com/leda/ledak/index.htm.