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:

Run the Lucas-Lehmer test:

lucas-lehmer ( p -- ? )

This documentation was generated offline from a
`load-all`

image. If you want, you can also
browse the documentation from within the UI developer tools. See
the Factor website
for more information.

Factor 0.99 x86.64 (2203, heads/master-424edf64aa, Mar 8 2023 13:48:50)