[math-fun] GF2 polynomial multiplication