Place "_fmpz_poly_fprint_pretty" in the header file.
Place "_fmpz_poly_fprint_pretty" in the header file.

dsroche/flint2,dsroche/flint2,dsroche/flint2,wbhart/flint2,jpflori/flint2,jpflori/flint2,jpflori/flint2,wbhart/flint2,fredrik-johansson/flint2,wbhart/flint2,fredrik-johansson/flint2,jpflori/flint2,dsroche/flint2,fredrik-johansson/flint2