Re: [graph-tool] graph-tool Digest, Vol 147, Issue 15