Module primality 

Primality checks and neighboring prime search.

Functions

is_composite

Returns true when n is composite.

is_prime

Returns true when n is prime.

next_prime

Returns the smallest prime strictly greater than n.

previous_prime

Returns the largest prime strictly less than n.