An easy way to measure a rope diameter

 


Wrap the rope around a cylinder 10 times, measure the resulting length, then divide by 10 and voilà...