그나마 Alexander poly나 crossing number같은건 감당이 되는데
계산에 요상한것들 쓰는 knot Floer homology나 Rasmussen's s invariant 이딴건 숨이턱막히네
한두개면 컴퓨터가 계산해줘도 특정 infinite family of knots에 대해 구해야 하는데