Let
and
be Lucas sequences generated by
and
, and define
(1)
|
Then
(2)
|
where
is the Legendre symbol. An odd composite number
such that
(i.e.,
and
are relatively prime)
is called an Euler-Lucas pseudoprime with parameters
.