Algorithms for tight spans and tropical linear spaces

We describe a new method for computing tropical linear spaces and more general duals of polyhedral subdivisions. This is based on an algorithm of Ganter for finite closure systems.