The NextSafePrime(n) command computes the smallest safe prime greater than n.

A prime number p is said to be a safe prime if p is of the form $2q\+1$ where $q$ is also prime.

$\mathrm{with}\left(\mathrm{NumberTheory}\right)\:$

$\mathrm{NextSafePrime}\left(1\right)$

$5$

$\mathrm{NextSafePrime}\left(5\right)$

$7$

$\mathrm{NextSafePrime}\left(327653\right)$

$327707$

$\mathrm{isprime}\left(\frac{327707-1}{2}\right)$

$\mathrm{true}$

The NumberTheory[NextSafePrime] command was introduced in Maple 2016.

For more information on Maple 2016 changes, see Updates in Maple 2016.