implement and document fmpz_mod_poly_factorxx