Manuscript VII-C@1 · VII-C.tex · section · 8b2ade29

Nonzero coefficient away from all observation coincidences

The mandatory mixed triple › Nonzero coefficient away from all observation coincidences · lines 1370–1387

VII-C@1#eq:reflectionrelation

The coefficient $C$ is supported on the reflected collinearity relation

R_{Σ} = {(x, y, x^{'}) : y = (s, y), x = (t, y + n (t + s)), x^{'} = (t^{'}, y + n (t^{'} + s)), n \in S^{2}} .

The witness in Lemma lem:separated lies on its noncoincident part.

Displayed formulas in this passage

VII-C@1#eq:reflectionrelation · line 1374
$R_{Σ} = {(x, y, x^{'}) : y = (s, y), x = (t, y + n (t + s)), x^{'} = (t^{'}, y + n (t^{'} + s)), n \in S^{2}} .$