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 (2173, heads/master-f3ee5c5979, Sep 18 2022 13:17:51)