rewrite loop in badideals.mag, I understand it better like this
rewrite loop in badideals.mag, I understand it better like this

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