Tropical Compactification via Ganter’s Algorithm