
${\bf v}
  = (v_0 , \ldots , v_{k-1} ) \in ( \bZ / 2 \bZ )^k$
