Module ec_factor 

Contains an implementation of Lenstra’s ECM factoring algorithm.

Functions

lenstra_ec_factorunstable-enable

Availability

lenstra_ec_factor_smallunstable-enable

Given Z/nZ, tries to find a factor of n of size at most 2^min_factor_bound_log2. If such a factor exists, the function is likely to successfully find it (with probability 1 - c^repetitions, for a constant 0 < c < 1). Otherwise, it is likely to return None.