def dmp_zz_mignotte_bound(f, u, K):
 a = dmp_max_norm(f, u, K)
 b = abs(dmp_ground_LC(f, u, K))
 n = sum(dmp_degree_list(f, u))
 return (((K.sqrt(K((n + 1))) * (2 ** n)) * a) * b)

def dmp_zz_mignotte_bound ( f , u , K ) : a = dmp_max_norm ( f , u , K ) b = abs ( dmp_ground_LC ( f , u , K ) ) n = sum ( dmp_degree_list ( f , u ) ) return ( ( ( K . sqrt ( K ( ( n + 1 ) ) ) * ( 2 ** n ) ) * a ) * b )
mignotte bound for multivariate polynomials in k[x] .