Function determinant_bits 

pub fn determinant_bits(rows: &[Vec<BigInt>]) -> u64

Hadamard bound on an n×n integer determinant in bits: ∏ row-2-norms.