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.100 x86.64 (2263, heads/master-2c1f38b2d6, Feb 27 2024 12:12:43)