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