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

Back to manuscript

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