The math.primes.lucas-lehmer vocabulary tests numbers of the form (2 ^ p) - 1 for primality, where p is prime.

Run the Lucas-Lehmer test:
lucas-lehmer ( p -- ? )