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