safe-prime? ( q -- ? )
Safe prime numbers
Next:next-safe-prime ( n -- q )


Vocabulary
math.primes.safe

Inputs
qan integer


Outputs
?a boolean


Word description
Tests whether the number is a safe prime. A safe prime p must be prime, as must (p - 1) / 2.

Definition
USING: combinators.short-circuit math math.primes ;

IN: math.primes.safe

: safe-prime? ( q -- ? ) { [ prime? ] [ 1 - 2 / prime? ] } 1&& ;