is_squarefree is missing for fmpz_poly and fmpq_poly

[wbhart]

The function is documented as existing in AbstractAlgebra, but missing in Nemo.

[wbhart]

Both functions do however exist in Flint.

[fingolfin]

Tried fmpz_poly_is_squarefree but it gives incorrect results (it considers $4$ or $4*x$ to be square free). With our version of FLINT, at least -- dunno if it is different in FLINT 3.x, @fredrik-johansson ?)

[thofma]

It depends a bit on the definition, but most functions related to factoring of fmpz_poly are mathematically wrong. They always give results for the polynomial considered as an element of Q[x] and not Z[x]. We jump through some hoops to make them mathematically correct.

Edit: We discussed the definition of squarefree over at #1510. I agree with you that 4x is not squarefree, but one should not expect flint to be correct in this regard.