Maximum degree of a graph (source code)

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

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