This function tests whether the argument is square-free.
A ring elem f must belong to a polynomial ring over a field.
Currently, it may wrongly declare as square-free an integer N with
a repeated large prime factor.
Example
/**/ use R ::= QQ[x];
/**/ IsSqFree(x^2);
false
/**/ IsSqFree(101);
true