Comments: 14 pages, 3 figures, 1 table added a computational result (Proposition 5.5) about the difference of the Dressian $Dr(3,8)$ and the tropical Grassmanians $Gr_p(3,8)$, as well as minor edits, corrections and additions
Note:
Journal: Journal of Symbolic Computation (special issue MEGA 2017) 91 (2019), 116-128
We describe a new method for computing tropical linear spaces and more general duals of polyhedral subdivisions. It is based on Ganter's algorithm (1984) for finite closure systems.