----------------------------------------- -has logout.sa LOGOUT -- -- basic definitions for KNOT. -- -has vertexc.sa VERTEXC -has code_prm.sa KCODE -has knotcode.sa VERTEXK KNOT K KNOT_TEST CROSS_SET -has tcode.sa VERTEXT TCODE -has set_tcode_alg.sa SET_TCODE_ALG -has rtcode.sa VERTEXP RTCODE RES_MARK RTCODE_TRIM POLY_TIME POLY_COUNT -- end module description --