Circular spacing (source code)

= Circular spacing
{title2=$\|\theta_r-\theta_s\|\geq\delta$}

Points $\theta_r$ have circular spacing at least $\delta$ when $\|\theta_r-\theta_s\|\geq\delta$ for distinct $r,s$, where $\|t\|=\min_{k\in\mathbb Z}|t-k|$. The distance is measured on the <circle group> $\mathbb R/\mathbb Z$, so points near zero and one can be close.