Williams factorization method: implementing Lucas Sequence multiplier.

Correcting small errors in thesis about the recursive definition of lucas
sequence.
Implementing lucas() function, and testing it with a manual example.