PoC to work with small polynomials over Z/2Z, eventually doing factorization.