Manuscript En05-B@1 · En05-B.tex · section · 8b626460

The three construction errors

Milestone audit, repairs, and interpretation › The three construction errors · lines 1785–1806

The timing estimate can be written

T_{n} (L) \leq \frac{L}{c} + relative loss \frac{( λ _{n} - 1 ) L}{c} + endpoint and phase overhead ω_{n} .

The relative loss separates into

λ_{n} = stencil rounding \frac{1}{1 - 2/ K _{n}} edge separation allowance (1 + \frac{1}{N _{n}}) junction tick (1 + \frac{1}{N _{n}}) .

Angular resolution is controlled independently by Lemma lem:angles; hub rounding costs $ρ_{n}$ . All these quantities vanish in the estimates relevant to bounded journeys. The periodic transient is separately controlled by Proposition prop:offset.

Displayed formulas in this passage

unlabeled · line 1788
$T_{n} (L) \leq \frac{L}{c} + relative loss \frac{( λ _{n} - 1 ) L}{c} + endpoint and phase overhead ω_{n} .$
unlabeled · line 1794
$λ_{n} = stencil rounding \frac{1}{1 - 2/ K _{n}} edge separation allowance (1 + \frac{1}{N _{n}}) junction tick (1 + \frac{1}{N _{n}}) .$