Re: [math-fun] New? multiplication of GF2 polynomials