do-lucas-lehmer ( p -- ? )


Vocabulary
math.primes.lucas-lehmer.private

Inputs
pan 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 - ] ] dip
[ mod ] curry compose times 0 = ;