Algorithms for tight spans and tropical linear spaces. (March 2019)