Manuscript Oai365-A@1 · Oai365-A.tex · section · a3840e3d

The extraction rule

An explicit enriched-process Lorentz pilot › The extraction rule · lines 512–531

Oai365-A@1#eq:pilot-embedding

Write each trial's operationally sorted chain as $e_{0} ≺ e_{1} ≺ e_{2}$ . Put

V = R \times R^{3}, d_{e} = (1, r_{e}), b_{e} = \frac{20}{p _{e}} (1, 0, 0),

and define

ι (e_{k}) = (0, b_{e}) + k d_{e}, k = 0, 1, 2.

Define $K$ by the actual generated-cone rule (eq:generated); do not append a cone independently.

The reciprocal tag, not the experiment's numerical name, determines the affine offset.

Displayed formulas in this passage

Oai365-A@1#eq:pilot-embedding · line 522
$ι (e_{k}) = (0, b_{e}) + k d_{e}, k = 0, 1, 2.$
unlabeled · line 516
$V = R \times R^{3}, d_{e} = (1, r_{e}), b_{e} = \frac{20}{p _{e}} (1, 0, 0),$