Function ADS::factorize

Function Documentation

inline std::vector<U64> ADS::factorize(U64 n)

the prime factors of n, with their multiplicity, increasing, by the divisions by the primes below 256 and the rho of Pollard and Brent

Pre:

n >= 1

Post:

their product is n and each one is prime (an audit)