Path metric (source code)

= Path metric
{title2=$\rho$}
{wiki}

Given positive edge lengths $\ell(e)$, the path metric is the infimum of $\sum_{e\in\gamma}\ell(e)$ over paths $\gamma$ joining two vertices.