inner.md

noun definition atom: single element of the instantiated field F, tagged by type. cell: ordered pair of two nouns — a binary tree node. polynomial representation every noun is a multilinear polynomial over {0,1}^k where k = ceil(log₂(leaves)). cell construction is variable prepend: the first…