Re: [graph-tool] Two ways of calculating the degree sequence