Knot_polynomials loading ...