estimator.prob.babai# estimator.prob.babai(r, norm)[source]# Babai probability following [EPRINT:Wun16].