The function mersenne computes Mersenne primes. If the argument n is an integer then mersenne(n) will return  if  is known to be prime.  Otherwise, if n is prime, but  is not determinably prime, then mersenne(n) will return FAIL.  Finally, if n is composite it will return false.

If the argument is a list with one integer element [i], then mersenne([i]) will return the ith Mersenne prime.  If the value is beyond Maple's precomputed list of Mersenne primes, an error will be issued.

The command with(numtheory,mersenne) allows the use of the abbreviated form of this command.