The termination test for double_poly_dichotomy was bogus
The termination test for double_poly_dichotomy was bogus

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