simplified average_valuation_affine_sub (with the help of Nicolas David)
simplified average_valuation_affine_sub (with the help of Nicolas David)

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs