Module rational_reconstruction 

Contains algorithms for rational reconstruction, i.e. find a small rational number x from its reduction modulo some n (coprime to the denominator of x).

Functions

balanced_rational_reconstructionunstable-enable

Returns two integers (a, b) with b > 0 such that a = bx mod n.

reduce_2d_modular_relation_basisunstable-enable

Uses an optimized version of the LLL algorithm to compute a reduced basis of the lattice