Uniform polynomial-time carryless multiplication #
Each output coefficient counts contributing pairs of input bits and reduces that count modulo two. The loops run over unary lengths and positions, while the polynomial coefficients remain binary strings throughout.