The sqrfree function computes the square-free factorization of the multivariate polynomial or the rational function a in the variable(s) x over an algebraic number field.

The square-free factorization is returned in the form  such that  where  is primitive and square-free, that is,  for all i and  for all  hence u is the content(a,x) times a unit.

In the case of two arguments, the second argument x denotes the main variable(s).  In the case of one argument, all the names in the polynomial a are used as variables.

Note that the  are not necessarily distinct as partial factorizations in the input are preserved as much as possible.