<content> <p>Prime factorization</p> </content>

f8bd2d1d-12fc-457b-9d2b-836fb040ff0f 5 4 5 false false 0 0 decimal <content> <p>Prime factorization</p> </content>

x divides y x y d\007C\ y x mod 0 ≡ (:

410 d\007C\ 0

412 d\007C\ 1

Set of divisors of n n CDivs x 2 n 2 / Ceil range set_ElementOf x n d\007C\ set_SetBuilder 1 n 21 mat set_Union :

50 CDivs transpose 12510255016 mat

Set of primes less or equal than n n CPrimes x 1 n range set_ElementOf x CDivs set_Cardinality 2 ≡ set_SetBuilder :

50 CPrimes transpose 23571113171923293137414347115 mat

Exponents domain E 15 range :

Prime factors of n n F x n sqrt Ceil 1 + CPrimes set_ElementOf x n d\007C\ set_SetBuilder :

50 F transpose 2512 mat

n F n CDivs n CPrimes set_Intersection ≡

Prime factorization n CFacts x y 21 mat n F E set_CartesianProduct set_ElementOf y ε E set_ElementOf x ε^n d\007C\ set_SetBuilder max ≡ set_SetBuilder :

17640 CFacts transpose 5121 mat 7221 mat 2321 mat 3221 mat 14 mat

23^32^* 51^* 72^* 17640

89100 CFacts transpose 5221 mat 11121 mat 2221 mat 3421 mat 14 mat

22^34^* 52^* 111^* 89100

502775 CFacts transpose 13221 mat 17121 mat 5221 mat 7121 mat 14 mat

52^71^* 132^* 171^* 502775

Alvaro