Padovan_polynomials loading ...