Documentation
Parameters from the Literature
API Reference
Appendix
Babai probability following [EPRINT:Wun16].