The near-halving extractor on Boolean seeds and output coordinates #
Decode an exact-length Boolean seed into the retained field seeds. Read the recursive extractor's output in block order through the standard product index equivalence, and identify the two field elements with Boolean values. This is a semantic representation; its string evaluator is a separate layer.
noncomputable def
Algebraic.Cutwidth.Extractor.nearHalvingBlockBooleanExtractor
(n h Q E : ℕ)
(x : Fin n → Bool)
(seed : Fin (nearHalvingBlockSeedBits n h Q E) → Bool)
(j : Fin (recursiveBlockCount 1 h * nearHalvingBlockLeafLength h Q))
:
Decode the seed word and flatten the extractor's Boolean output in block order.
Equations
- One or more equations did not get rendered due to their size.