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