Prime Factorization Exponent List (PFEL)

Dependencies:

1. Fundamental Theorem of Arithmetic

PFEL of a number is the list of exponents in the prime factorization of that number.

Dependency for:

1. Divisible iff PFEL is less than or equal
2. PFEL of product is sum of PFEL
3. PFEL of gcd is min of PFEL
4. PFEL of lcm is max of PFEL
5. PFEL of ratio is difference of PFEL

Info:

• Depth: 4
• Number of transitive dependencies: 5

Transitive dependencies:

1. Every number has a prime factorization
2. Integer Division Theorem
3. GCD is the smallest Linear Combination
4. Euclid's lemma
5. Fundamental Theorem of Arithmetic