Function resultant_bits 

pub fn resultant_bits(f: &[BigInt], g: &[BigInt]) -> u64

Hadamard/Mahler bound on Res(f, g) in bits: ‖f‖₂^deg g · ‖g‖₂^deg f (with slack for the sign bit and rounding).