Minimum cuts, modular functions, and matroid polyhedra | Synapse