Manuscript II-B@1 · II-B-v1.tex · section · bfd2eb3c

Deterministic label pullback

Pullback of the complete finite certificate › Deterministic label pullback · lines 1616–1637

For (eq:delta),

A_{δ} = 100101000010, m^{δ} = 0 16/3 16/3 0,

and

ker_{left} N^{δ} = span {(1, 0, 0, 0), (0, 0, 0, 1)} .

The affine family of four-code fits still has raw-coordinate dimension $15118$ .

Displayed formulas in this passage