Skip to content
Tech News
← Back to articles

Pozzo: A Fast Lucky Number Checker

read original get Lucky Number Checker Kit → more articles

Pozzo: A Fast Lucky Number Checker Pozzo tests large integers for luckiness. It is dramatically more efficient than its predecessors, increasing the number of values searched for several OEIS sequences by a factor of between 1,000 and 100,000,000.

What is a Lucky Number?

Lucky numbers are produced by a sieve. From the OEIS Wiki:

Start with a sequence of positive odd numbers:

1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, ...

The first nonunit survivor is 3 , so strike every third value in this list:

1, 3, [5], 7, 9, [11], 13, 15, [17], 19, 21, [23], 25, 27, [29], 31, ...

The next unused survivor is 7 , so strike every seventh value of the new list.

1, 3, 7, 9, 13, 15, [19], 21, 25, 27, 31, 33, 37, [39], 43, ...

The values that are never struck out are the lucky numbers:

... continue reading