[graph-tool] clustering coefficient

Hi,

what's the difference between

graph-tool --load z.dot \ --set-local-clustering-to-property=clustering \ --average-vertex-property="clustering|-"

and

graph-tool --load z.dot --global-clustering-coefficient=- ?

The results are not equal:

# average vertex property (clustering): 0.400881 0.001264

# global clustering coefficient: 0.016429 0.000001

But the global clustering coefficient IS the arithmetic mean of the local clustering coefficient of all edges, IIRC. I don't understand the divergence.

CU Sven