Module cyclotomic::prime_factors

Modules

prime_factorize
recursive_prime_factorize