Logarithmic step bound for the large steps algorithm
Let k≥3k\geq 3k≥3 and let v⃗∈Zk−1∖{0⃗}\vec{\mathbf{v}}\in\mathbb{Z}^{k-1}\setminus\{\vec{\mathbf{0}}\}v∈Zk−1∖{0}. In the Large Steps Algorithm, let jlsbj_{\mathrm{lsb}}jlsb denote the bound on the largest index…