pub fn mignotte_bits(f: &[BigInt]) -> u64
Mignotte bound on the coefficients of any integer factor g | f in bits: ‖g‖∞ ≤ 2^deg g · ‖f‖₂ (we use deg f as the worst-case factor degree).
g | f
‖g‖∞ ≤ 2^deg g · ‖f‖₂
deg f