def dmp_sqf_p(f, u, K):
 if dmp_zero_p(f, u):
  return True
 else:
  return (not dmp_degree(dmp_gcd(f, dmp_diff(f, 1, u, K), u, K), u))

def dmp_sqf_p ( f , u , K ) : if dmp_zero_p ( f , u ) : return True else : return ( not dmp_degree ( dmp_gcd ( f , dmp_diff ( f , 1 , u , K ) , u , K ) , u ) )
return true if f is a square-free polynomial in k[x] .