Registry · Definition
II.D81
tau-effective
formalized
II.D81 — τ-Geodesic
Geodesic in Z/M_k Z: shortest path in the cyclic distance. The geodesic direction from x to y is the minimal displacement mod M_k.
Book II
Part 10
Ch. 55