Let and be Lucas Sequences generated by and , and define
See also Pseudoprime, Strong Lucas Pseudoprime
References
Ribenboim, P. ``Euler-Lucas Pseudoprimes (elpsp()) and Strong Lucas Pseudoprimes (slpsp()).'' §2.X.C in
The New Book of Prime Number Records. New York: Springer-Verlag, pp. 130-131, 1996.