Manuscript XV-F@3 · XV-F-v3.tex · section · d4e74afa
The Hadamard matrix and the blocks of the cross-line
Source manifest (Gate F0) › The Hadamard matrix and the blocks of the cross-line · lines 1583–1611
XV-F@3#eq:Hblocks
XII-A's frozen Hadamard data XIIAhad are with
, blocks
all other blocks zero; for the frozen translation-invariant data . An admissible replacement is defined by the four clauses of sec:fifthpass. The fourth pass shows that is built from blocks named , and replaced blocks (eq:cross); the fifth pass shows that the replaced blocks are not written in any manuscript and that no manuscript equates them with XII-A's . Whether XIV-J's replaced blocks are translation invariant (as the difference-variable pullback requires) is also not stated. The Hadamard data are T for XII-A's own objects and C as ingredients of (eq:cross).
Displayed formulas in this passage
XV-F@3#eq:Hblocks · line 1593
unlabeled · line 1586