View Single Post
Old 2022-06-11, 09:07   #1
Jinyuan Wang
 
Jan 2020

5 Posts
Default Categorize Mersenne Primes with LL test

We know that M_p is a prime iff b_{p-1} == 0 mod M_p, where b_1 = 4; b_k = b_{k-1}^2 - 2 (mod M_p) for k >= 2.

Then how about b_{p-2} mod M_p? Are there any guys interested in extending OEIS sequence A354167 and A354168?
Jinyuan Wang is offline   Reply With Quote