(f, K)
return K.sqrt(K(n + 1))*2**n*a*b
Mignotte bound for univariate polynomials in `K[x]`.
Mignotte bound for univariate polynomials in `K[x]`.
Mignotte bound for univariate polynomials in K [ x ] .
def dup_zz_mignotte_bound(f, K):
    """Mignotte bound for univariate polynomials in `K[x]`. """
    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