do-lucas-lehmer ( p -- ? )

Vocabulary

math.primes.lucas-lehmer.private

Inputs

p

an object

Outputs

?

an object

Definition

USING: kernel math ;

IN: math.primes.lucas-lehmer.private

: do-lucas-lehmer ( p -- ? )
    [ drop 4 ] [ 2 - ] [ 2^ 1 - ] tri '[ sq 2 - _ mod ] times
    0 = ;