def dup_zz_mignotte_bound(f, K):
 a = dup_max_norm(f, K)
 b = abs(dup_LC(f, K))
 n = dup_degree(f)
 return (((K.sqrt(K((n + 1))) * (2 ** n)) * a) * b)

def dup_zz_mignotte_bound ( f , K ) : a = dup_max_norm ( f , K ) b = abs ( dup_LC ( f , K ) ) n = dup_degree ( f ) return ( ( ( K . sqrt ( K ( ( n + 1 ) ) ) * ( 2 ** n ) ) * a ) * b )
mignotte bound for univariate polynomials in k[x] .