n is the number of rows.
 m is the number of columns.
 bit_in is the maximum number of bits in entry of input.
 t_det is the time taken to get the determinant.
 t_old is the time taken by HNF, after the determinant is known.
 t_im is the time taken by HNF_image.
 t_im/old is their ratio.
 bit_out is the maximum number of bits in output.
 
m = 20, n = 40, bit_in = 10, t_old = 0, t_im = 0.05 t_det = 0.16
     t_im/old = Inf
     bit_out = 1
m = 20, n = 40, bit_in = 24, t_old = 0.14, t_im = 0.09 t_det = 0.38
     t_im/old = 0.642857
     bit_out = 218
m = 40, n = 80, bit_in = 10, t_old = 0.02, t_im = 0.85 t_det = 3.45
     t_im/old = 42.5
     bit_out = 1
m = 40, n = 80, bit_in = 24, t_old = 3.31, t_im = 1.47 t_det = 9.67
     t_im/old = 0.444109
     bit_out = 461
m = 80, n = 160, bit_in = 10, t_old = 0.09, t_im = 15.37 t_det = 88.06
     t_im/old = 170.778
     bit_out = 1
m = 80, n = 160, bit_in = 25, t_old = 93.77, t_im = 28.03 t_det = 261.92
     t_im/old = 0.298923
     bit_out = 963
m = 20, n = 40, bit_in = 20, t_old = 0, t_im = 0.09 t_det = 0.39
     t_im/old = Inf
     bit_out = 1
m = 20, n = 40, bit_in = 44, t_old = 0.35, t_im = 0.17 t_det = 1.09
     t_im/old = 0.485714
     bit_out = 419
m = 40, n = 80, bit_in = 20, t_old = 0.02, t_im = 1.33 t_det = 9.34
     t_im/old = 66.5
     bit_out = 1
m = 40, n = 80, bit_in = 44, t_old = 9.37, t_im = 2.88 t_det = 27.49
     t_im/old = 0.307364
     bit_out = 857
m = 80, n = 160, bit_in = 20, t_old = 0.1, t_im = 24.79 t_det = 240.31
     t_im/old = 247.9
     bit_out = 1
m = 80, n = 160, bit_in = 45, t_old = 287.06, t_im = 59.28 t_det = 737.54
     t_im/old = 0.206507
     bit_out = 1762
m = 10, n = 20, bit_in = 40, t_old = 0, t_im = 0.01 t_det = 0.06
     t_im/old = Inf
     bit_out = 1
m = 10, n = 20, bit_in = 83, t_old = 0.05, t_im = 0.02 t_det = 0.15
     t_im/old = 0.4
     bit_out = 400
m = 20, n = 40, bit_in = 40, t_old = 0.01, t_im = 0.15 t_det = 1.18
     t_im/old = 15
     bit_out = 1
m = 20, n = 40, bit_in = 84, t_old = 1.02, t_im = 0.39 t_det = 3.4
     t_im/old = 0.382353
     bit_out = 816
m = 40, n = 80, bit_in = 40, t_old = 0.02, t_im = 2.69 t_det = 28.44
     t_im/old = 134.5
     bit_out = 1
m = 40, n = 80, bit_in = 84, t_old = 28.63, t_im = 7.15 t_det = 85.72
     t_im/old = 0.249738
     bit_out = 1658
m = 35, n = 40, bit_in = 10, t_old = 0.01, t_im = 0.29 t_det = 0.49
     t_im/old = 29
     bit_out = 1
m = 35, n = 40, bit_in = 24, t_old = 1.02, t_im = 0.6 t_det = 1.4
     t_im/old = 0.588235
     bit_out = 401
m = 75, n = 80, bit_in = 10, t_old = 0.06, t_im = 6.79 t_det = 12.46
     t_im/old = 113.167
     bit_out = 1
m = 75, n = 80, bit_in = 25, t_old = 36.7, t_im = 16.51 t_det = 39.32
     t_im/old = 0.449864
     bit_out = 901
m = 5, n = 200, bit_in = 40, t_old = 0.01, t_im = 0.02 t_det = 0.11
     t_im/old = 2
     bit_out = 1
m = 5, n = 200, bit_in = 82, t_old = 0.05, t_im = 0.03 t_det = 0.25
     t_im/old = 0.6
     bit_out = 202
m = 5, n = 200, bit_in = 80, t_old = 0, t_im = 0.03 t_det = 0.28
     t_im/old = Inf
     bit_out = 1
m = 5, n = 200, bit_in = 162, t_old = 0.11, t_im = 0.05 t_det = 0.76
     t_im/old = 0.454545
     bit_out = 401
bye!