Total positivity, Grassmannians, and networks | Synapse