A pseudoprime which obeys an additional restriction beyond that required for a Frobenius pseudoprime.
A number
with
is a strong Frobenius pseudoprime with respect to
iff
is a strong pseudoprime
with respect to
. Every strong Frobenius pseudoprime with respect to
is an Euler pseudoprime to the base
.
Every strong Frobenius pseudoprime with respect to such that
is a strong
Lucas pseudoprime with parameters
. Every strong Frobenius pseudoprime
with respect to
is an extra
strong Lucas pseudoprime to the base
.