Binary inner product (source code)

= Binary inner product
{title2=$x\cdot y$}

For $x,y\in\mathbb F_2^n$, the binary inner product is $x\cdot y=\sum_i x_iy_i$ in $\mathbb F_2$. Its value is the parity of the coordinates at which both vectors are one.