# programming with prime numbers
from fractions import gcd
def primes(n):
if type(n) != int and type(n) != long:
raise TypeError('must be integer')
if n < 2:
raise ValueError('must be greater than one')
m = (n-1) // 2
b = [True] * m
i, p, ps = 0, 3, [2]
while p*p < n:
if b[i]:
ps.append(p)
j = 2*i*i + 6*i + 3
while j < m:
b[j] = False
j = j + 2*i + 3
i += 1; p += 2
while i < m:
if b[i]:
ps.append(p)
i += 1; p += 2
return ps
def td_prime(n, limit=1000000):
if type(n) != int and type(n) != long:
raise TypeError('must be integer')
if n % 2 == 0:
return n == 2
d = 3
while d * d <= n:
if limit < d:
raise OverflowError('limit exceeded')
if n % d == 0:
return False
d += 2
return True
def td_factors(n, limit=1000000):
if type(n) != int and type(n) != long:
raise TypeError('must be integer')
fs = []
while n % 2 == 0:
fs += [2]
n /= 2
if n == 1:
return fs
f = 3
while f * f <= n:
if limit < f:
raise OverflowError('limit exceeded')
if n % f == 0:
fs += [f]
n /= f
else:
f += 2
return fs + [n]
def is_prime(n):
if type(n) != int and type(n) != long:
raise TypeError('must be integer')
if n < 2:
return False
ps = [2,3,5,7,11,13,17,19,23,29,31,37,41,
43,47,53,59,61,67,71,73,79,83,89,97]
def is_spsp(n, a):
d, s = n-1, 0
while d%2 == 0:
d /= 2; s += 1
t = pow(a,d,n)
if t == 1:
return True
while s > 0:
if t == n-1:
return True
t = (t*t) % n
s -= 1
return False
if n in ps: return True
for p in ps:
if not is_spsp(n,p):
return False
return True
def rho_factors(n, limit=1000000):
if type(n) != int and type(n) != long:
raise TypeError('must be integer')
def gcd(a,b):
while b: a, b = b, a%b
return abs(a)
def rho_factor(n, c, limit):
f = lambda(x): (x*x+c) % n
t, h, d = 2, 2, 1
while d == 1:
if limit == 0:
raise OverflowError('limit exceeded')
t = f(t); h = f(f(h)); d = gcd(t-h, n)
if d == n:
return rho_factor(n, c+1, limit)
if is_prime(d):
return d
return rho_factor(d, c+1, limit)
if -1 <= n <= 1: return [n]
if n < -1: return [-1] + rho_factors(-n, limit)
fs = []
while n % 2 == 0:
n = n // 2; fs = fs + [2]
if n == 1: return fs
while not is_prime(n):
f = rho_factor(n, 1, limit)
n = n / f
fs = fs + [f]
return sorted(fs + [n])
print primes(100)
print len(primes(1000000))
print td_prime(600851475143)
print td_factors(600851475143)
print is_prime(600851475143)
print is_prime(2305843009213693951)
print rho_factors(600851475143)
IyBwcm9ncmFtbWluZyB3aXRoIHByaW1lIG51bWJlcnMKCmZyb20gZnJhY3Rpb25zIGltcG9ydCBnY2QKCmRlZiBwcmltZXMobik6CiAgICBpZiB0eXBlKG4pICE9IGludCBhbmQgdHlwZShuKSAhPSBsb25nOgogICAgICAgIHJhaXNlIFR5cGVFcnJvcignbXVzdCBiZSBpbnRlZ2VyJykKICAgIGlmIG4gPCAyOgogICAgICAgIHJhaXNlIFZhbHVlRXJyb3IoJ211c3QgYmUgZ3JlYXRlciB0aGFuIG9uZScpCiAgICBtID0gKG4tMSkgLy8gMgogICAgYiA9IFtUcnVlXSAqIG0KICAgIGksIHAsIHBzID0gMCwgMywgWzJdCiAgICB3aGlsZSBwKnAgPCBuOgogICAgICAgIGlmIGJbaV06CiAgICAgICAgICAgIHBzLmFwcGVuZChwKQogICAgICAgICAgICBqID0gMippKmkgKyA2KmkgKyAzCiAgICAgICAgICAgIHdoaWxlIGogPCBtOgogICAgICAgICAgICAgICAgYltqXSA9IEZhbHNlCiAgICAgICAgICAgICAgICBqID0gaiArIDIqaSArIDMKICAgICAgICBpICs9IDE7IHAgKz0gMgogICAgd2hpbGUgaSA8IG06CiAgICAgICAgaWYgYltpXToKICAgICAgICAgICAgcHMuYXBwZW5kKHApCiAgICAgICAgaSArPSAxOyBwICs9IDIKICAgIHJldHVybiBwcwoKZGVmIHRkX3ByaW1lKG4sIGxpbWl0PTEwMDAwMDApOgogICAgaWYgdHlwZShuKSAhPSBpbnQgYW5kIHR5cGUobikgIT0gbG9uZzoKICAgICAgICByYWlzZSBUeXBlRXJyb3IoJ211c3QgYmUgaW50ZWdlcicpCiAgICBpZiBuICUgMiA9PSAwOgogICAgICAgIHJldHVybiBuID09IDIKICAgIGQgPSAzCiAgICB3aGlsZSBkICogZCA8PSBuOgogICAgICAgIGlmIGxpbWl0IDwgZDoKICAgICAgICAgICAgcmFpc2UgT3ZlcmZsb3dFcnJvcignbGltaXQgZXhjZWVkZWQnKQogICAgICAgIGlmIG4gJSBkID09IDA6CiAgICAgICAgICAgIHJldHVybiBGYWxzZQogICAgICAgIGQgKz0gMgogICAgcmV0dXJuIFRydWUKCmRlZiB0ZF9mYWN0b3JzKG4sIGxpbWl0PTEwMDAwMDApOgogICAgaWYgdHlwZShuKSAhPSBpbnQgYW5kIHR5cGUobikgIT0gbG9uZzoKICAgICAgICByYWlzZSBUeXBlRXJyb3IoJ211c3QgYmUgaW50ZWdlcicpCiAgICBmcyA9IFtdCiAgICB3aGlsZSBuICUgMiA9PSAwOgogICAgICAgIGZzICs9IFsyXQogICAgICAgIG4gLz0gMgogICAgaWYgbiA9PSAxOgogICAgICAgIHJldHVybiBmcwogICAgZiA9IDMKICAgIHdoaWxlIGYgKiBmIDw9IG46CiAgICAgICAgaWYgbGltaXQgPCBmOgogICAgICAgICAgICByYWlzZSBPdmVyZmxvd0Vycm9yKCdsaW1pdCBleGNlZWRlZCcpCiAgICAgICAgaWYgbiAlIGYgPT0gMDoKICAgICAgICAgICAgZnMgKz0gW2ZdCiAgICAgICAgICAgIG4gLz0gZgogICAgICAgIGVsc2U6CiAgICAgICAgICAgIGYgKz0gMgogICAgcmV0dXJuIGZzICsgW25dCgpkZWYgaXNfcHJpbWUobik6CiAgICBpZiB0eXBlKG4pICE9IGludCBhbmQgdHlwZShuKSAhPSBsb25nOgogICAgICAgIHJhaXNlIFR5cGVFcnJvcignbXVzdCBiZSBpbnRlZ2VyJykKICAgIGlmIG4gPCAyOgogICAgICAgIHJldHVybiBGYWxzZQogICAgcHMgPSBbMiwzLDUsNywxMSwxMywxNywxOSwyMywyOSwzMSwzNyw0MSwKICAgICAgICAgNDMsNDcsNTMsNTksNjEsNjcsNzEsNzMsNzksODMsODksOTddCiAgICBkZWYgaXNfc3BzcChuLCBhKToKICAgICAgICBkLCBzID0gbi0xLCAwCiAgICAgICAgd2hpbGUgZCUyID09IDA6CiAgICAgICAgICAgIGQgLz0gMjsgcyArPSAxCiAgICAgICAgdCA9IHBvdyhhLGQsbikKICAgICAgICBpZiB0ID09IDE6CiAgICAgICAgICAgIHJldHVybiBUcnVlCiAgICAgICAgd2hpbGUgcyA+IDA6CiAgICAgICAgICAgIGlmIHQgPT0gbi0xOgogICAgICAgICAgICAgICAgcmV0dXJuIFRydWUKICAgICAgICAgICAgdCA9ICh0KnQpICUgbgogICAgICAgICAgICBzIC09IDEKICAgICAgICByZXR1cm4gRmFsc2UKICAgIGlmIG4gaW4gcHM6IHJldHVybiBUcnVlCiAgICBmb3IgcCBpbiBwczoKICAgICAgICBpZiBub3QgaXNfc3BzcChuLHApOgogICAgICAgICAgICByZXR1cm4gRmFsc2UKICAgIHJldHVybiBUcnVlCiAgICAKZGVmIHJob19mYWN0b3JzKG4sIGxpbWl0PTEwMDAwMDApOgogICAgaWYgdHlwZShuKSAhPSBpbnQgYW5kIHR5cGUobikgIT0gbG9uZzoKICAgICAgICByYWlzZSBUeXBlRXJyb3IoJ211c3QgYmUgaW50ZWdlcicpCiAgICBkZWYgZ2NkKGEsYik6CiAgICAgICAgd2hpbGUgYjogYSwgYiA9IGIsIGElYgogICAgICAgIHJldHVybiBhYnMoYSkKICAgIGRlZiByaG9fZmFjdG9yKG4sIGMsIGxpbWl0KToKICAgICAgICBmID0gbGFtYmRhKHgpOiAoeCp4K2MpICUgbgogICAgICAgIHQsIGgsIGQgPSAyLCAyLCAxCiAgICAgICAgd2hpbGUgZCA9PSAxOgogICAgICAgICAgICBpZiBsaW1pdCA9PSAwOgogICAgICAgICAgICAgICAgcmFpc2UgT3ZlcmZsb3dFcnJvcignbGltaXQgZXhjZWVkZWQnKQogICAgICAgICAgICB0ID0gZih0KTsgaCA9IGYoZihoKSk7IGQgPSBnY2QodC1oLCBuKQogICAgICAgIGlmIGQgPT0gbjoKICAgICAgICAgICAgcmV0dXJuIHJob19mYWN0b3IobiwgYysxLCBsaW1pdCkKICAgICAgICBpZiBpc19wcmltZShkKToKICAgICAgICAgICAgcmV0dXJuIGQKICAgICAgICByZXR1cm4gcmhvX2ZhY3RvcihkLCBjKzEsIGxpbWl0KQogICAgaWYgLTEgPD0gbiA8PSAxOiByZXR1cm4gW25dCiAgICBpZiBuIDwgLTE6IHJldHVybiBbLTFdICsgcmhvX2ZhY3RvcnMoLW4sIGxpbWl0KQogICAgZnMgPSBbXQogICAgd2hpbGUgbiAlIDIgPT0gMDoKICAgICAgICBuID0gbiAvLyAyOyBmcyA9IGZzICsgWzJdCiAgICBpZiBuID09IDE6IHJldHVybiBmcwogICAgd2hpbGUgbm90IGlzX3ByaW1lKG4pOgogICAgICAgIGYgPSByaG9fZmFjdG9yKG4sIDEsIGxpbWl0KQogICAgICAgIG4gPSBuIC8gZgogICAgICAgIGZzID0gZnMgKyBbZl0KICAgIHJldHVybiBzb3J0ZWQoZnMgKyBbbl0pCiAgICAKcHJpbnQgcHJpbWVzKDEwMCkKcHJpbnQgbGVuKHByaW1lcygxMDAwMDAwKSkKcHJpbnQgdGRfcHJpbWUoNjAwODUxNDc1MTQzKQpwcmludCB0ZF9mYWN0b3JzKDYwMDg1MTQ3NTE0MykKcHJpbnQgaXNfcHJpbWUoNjAwODUxNDc1MTQzKQpwcmludCBpc19wcmltZSgyMzA1ODQzMDA5MjEzNjkzOTUxKQpwcmludCByaG9fZmFjdG9ycyg2MDA4NTE0NzUxNDMp
[2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97]
78498
False
[71, 839, 1471, 6857L]
False
True
[71L, 839L, 1471L, 6857L]