don't use the Gauss formula for fmpcb_poly_mul by default; make it a separate function