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