Edited package of PrimeFactorization