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 (2190, heads/master-b44db33e34, Jan 31 2023 20:58:13)