The quotient metric of circumference one uses the shorter distance around the circle: . It also measures separation across the identified endpoints. This is the metric used by circular spacing in the analytic large sieve inequality.
New to topics? Read the docs here!