lucas polynomials