sqrfree takes as argument a polynomial.
sqrfree factorizes this polynomial as a product of
powers of coprime factors, where each factor has roots of multiplicity 1
(in other words, a factor and its derivative are coprime).
Input :
^2-1)*(x-1)*(x+2))Output :
^2+3*x+2)*(x-1)^2Input :
^2-1)^2*(x-1)*(x+2)^2)Output :
^2+3*x+2)*(x-1)^3