Some code extracts for the post on greedy edge-colouring.