`factorize``n`procedure- n
- integer

Returns the factorization of a natural number

`n`. The factorization consists of a list of corresponding primes and exponents. The primes will be in ascending order.The prime factorization of 600 = 2^3 * 3^1 * 5^2:

> (factorize 600) ((2 3) (3 1) (5 2))