Minimal representations of tropical rational functions | Synapse