Generalized repunit pseudoprime construction (source code)

= Generalized repunit pseudoprime construction

For fixed $a>1$ and suitable odd primes $p$, the composite generalized repunit
$$
\frac{a^{2p}-1}{a^2-1}
$$
is congruent to one modulo $2p$ and is a pseudoprime to base $a$.