estimator.prob.babai#

estimator.prob.babai(r, norm)[source]#

Babai probability following [EPRINT:Wun16].