Lucas_polynomials loading ...