IntegerFactorizationPackage(I)

intfact.spad line 310 [edit on github]

• I : IntegerNumberSystem

This Package contains basic methods for integer factorization. The factor operation employs trial division up to 10, 000. It then tests to see if n is a perfect power before using Pollards rho method. Because Pollards method may fail, the result of factor may contain composite factors. We should also employ Lenstra's elliptic curve method.

BasicMethod : I -> Factored(I)

BasicMethod(n) returns the factorization of integer n by trial division

PollardSmallFactor : I -> Union(I, "failed")

PollardSmallFactor(n) returns a factor of n or "failed" if no one is found

factor : I -> Factored(I)

factor(n) returns the full factorization of integer n

squareFree : I -> Factored(I)

squareFree(n) returns the square free factorization of integer n