Knot polynomial