Module Fp.Poly_comm