A primality test for Mersenne numbers that involves performing a series of modular arithmetic operations.