Maximum degree of a graph (source code)

= Maximum degree of a graph
{title2=$\Delta(G)$}

The maximum degree $\Delta(G)$ is the greatest degree of a vertex of $G$.

It is the maximum of the <degree of a vertex> over all vertices.