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