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