Definition
Given two integer parameters P and Q which satisfy
the Lucas sequences of the first and second kind, Un(P,Q) and Vn(P,Q) respectively, are defined by the recurrence relations
and
We can write
where a and b are roots of the auxiliary polynomial X2 - P X + Q, of discriminant D.
If p is an odd prime number then
- Vp is congruent to P modulo p.
and if the Jacobi symbol
- ,
then p is a factor of Up-ε.
Read more about this topic: Lucas Pseudoprime
Famous quotes containing the word definition:
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)