9 30

9_29

9_31

Visit 9 30's page at the Knot Server (KnotPlot driven, includes 3D interactive images!) Visit 9 30's page at Knotilus! Visit 9 30's page at the original Knot Atlas! 9 30 Quick Notes

9 30 Further Notes and Views

Knot presentations

Planar diagram presentation	X4251 X10,6,11,5 X8394 X2,9,3,10 X14,8,15,7 X18,15,1,16 X16,11,17,12 X12,17,13,18 X6,14,7,13
Gauss code	1, -4, 3, -1, 2, -9, 5, -3, 4, -2, 7, -8, 9, -5, 6, -7, 8, -6
Dowker-Thistlethwaite code	4 8 10 14 2 16 6 18 12
Conway Notation	[211,21,2]

Three dimensional invariants

Symmetry type Reversible Unknotting number 1 3-genus 3 Bridge index 3 Super bridge index $\{4,6\}$ Nakanishi index 1 Maximal Thurston-Bennequin number [-6][-5] Hyperbolic Volume 11.9545 A-Polynomial See Data:9 30/A-polynomial

[edit Notes for 9 30's three dimensional invariants]

Four dimensional invariants

Smooth 4 genus $1$ Topological 4 genus $1$ Concordance genus $3$ Rasmussen s-Invariant 0

[edit Notes for 9 30's four dimensional invariants]

Polynomial invariants

Alexander polynomial	$-t^{3}+5t^{2}-12t+17-12t^{-1}+5t^{-2}-t^{-3}$
Conway polynomial	$-z^{6}-z^{4}-z^{2}+1$
2nd Alexander ideal (db, data sources)	$\{1\}$
Determinant and Signature	{ 53, 0 }
Jones polynomial	$q^{4}-3q^{3}+6q^{2}-8q+9-9q^{-1}+8q^{-2}-5q^{-3}+3q^{-4}-q^{-5}$
HOMFLY-PT polynomial (db, data sources)	$-z^{6}+2a^{2}z^{4}+z^{4}a^{-2}-4z^{4}-a^{4}z^{2}+5a^{2}z^{2}+2z^{2}a^{-2}-7z^{2}-a^{4}+4a^{2}+2a^{-2}-4$
Kauffman polynomial (db, data sources)	$a^{2}z^{8}+z^{8}+3a^{3}z^{7}+7az^{7}+4z^{7}a^{-1}+3a^{4}z^{6}+8a^{2}z^{6}+5z^{6}a^{-2}+10z^{6}+a^{5}z^{5}-3a^{3}z^{5}-9az^{5}-2z^{5}a^{-1}+3z^{5}a^{-3}-7a^{4}z^{4}-22a^{2}z^{4}-7z^{4}a^{-2}+z^{4}a^{-4}-23z^{4}-2a^{5}z^{3}-3a^{3}z^{3}-2z^{3}a^{-1}-3z^{3}a^{-3}+5a^{4}z^{2}+16a^{2}z^{2}+5z^{2}a^{-2}-z^{2}a^{-4}+17z^{2}+a^{5}z+2a^{3}z+az+za^{-1}+za^{-3}-a^{4}-4a^{2}-2a^{-2}-4$
The A2 invariant	$-q^{16}+q^{12}-q^{10}+3q^{8}+q^{6}+q^{2}-3+q^{-2}-2q^{-4}+q^{-6}+2q^{-8}-q^{-10}+q^{-12}$
The G2 invariant	$q^{80}-2q^{78}+5q^{76}-8q^{74}+7q^{72}-5q^{70}-5q^{68}+19q^{66}-31q^{64}+39q^{62}-34q^{60}+11q^{58}+19q^{56}-55q^{54}+79q^{52}-79q^{50}+49q^{48}-2q^{46}-48q^{44}+83q^{42}-84q^{40}+60q^{38}-9q^{36}-36q^{34}+61q^{32}-52q^{30}+14q^{28}+39q^{26}-69q^{24}+75q^{22}-40q^{20}-15q^{18}+77q^{16}-118q^{14}+120q^{12}-84q^{10}+16q^{8}+55q^{6}-109q^{4}+123q^{2}-97+43q^{-2}+15q^{-4}-64q^{-6}+72q^{-8}-52q^{-10}+6q^{-12}+39q^{-14}-60q^{-16}+48q^{-18}-8q^{-20}-41q^{-22}+79q^{-24}-87q^{-26}+65q^{-28}-21q^{-30}-29q^{-32}+67q^{-34}-77q^{-36}+67q^{-38}-34q^{-40}+5q^{-42}+19q^{-44}-33q^{-46}+32q^{-48}-23q^{-50}+13q^{-52}-2q^{-54}-4q^{-56}+5q^{-58}-6q^{-60}+4q^{-62}-2q^{-64}+q^{-66}$

Further Quantum Invariants

Further quantum knot invariants for 9_30.

A1 Invariants.

Weight	Invariant
1	$-q^{11}+2q^{9}-2q^{7}+3q^{5}-q^{3}+q^{-1}-2q^{-3}+3q^{-5}-2q^{-7}+q^{-9}$
2	$q^{32}-2q^{30}-2q^{28}+7q^{26}-3q^{24}-9q^{22}+14q^{20}+q^{18}-18q^{16}+13q^{14}+8q^{12}-17q^{10}+4q^{8}+10q^{6}-6q^{4}-6q^{2}+6+9q^{-2}-13q^{-4}-q^{-6}+19q^{-8}-13q^{-10}-8q^{-12}+17q^{-14}-6q^{-16}-8q^{-18}+7q^{-20}-2q^{-24}+q^{-26}$
3	$-q^{63}+2q^{61}+2q^{59}-3q^{57}-7q^{55}+3q^{53}+16q^{51}-2q^{49}-26q^{47}-7q^{45}+39q^{43}+23q^{41}-47q^{39}-45q^{37}+48q^{35}+68q^{33}-36q^{31}-91q^{29}+19q^{27}+98q^{25}+4q^{23}-96q^{21}-26q^{19}+87q^{17}+40q^{15}-65q^{13}-50q^{11}+41q^{9}+55q^{7}-12q^{5}-57q^{3}-15q+55q^{-1}+45q^{-3}-48q^{-5}-72q^{-7}+37q^{-9}+92q^{-11}-20q^{-13}-101q^{-15}+q^{-17}+96q^{-19}+20q^{-21}-82q^{-23}-32q^{-25}+60q^{-27}+33q^{-29}-34q^{-31}-30q^{-33}+17q^{-35}+21q^{-37}-7q^{-39}-10q^{-41}+q^{-43}+4q^{-45}-2q^{-49}+q^{-51}$
4	$q^{104}-2q^{102}-2q^{100}+3q^{98}+3q^{96}+7q^{94}-10q^{92}-16q^{90}+2q^{88}+14q^{86}+41q^{84}-12q^{82}-59q^{80}-37q^{78}+16q^{76}+129q^{74}+49q^{72}-98q^{70}-157q^{68}-79q^{66}+221q^{64}+227q^{62}-12q^{60}-286q^{58}-324q^{56}+159q^{54}+412q^{52}+252q^{50}-243q^{48}-568q^{46}-95q^{44}+410q^{42}+513q^{40}-12q^{38}-602q^{36}-351q^{34}+218q^{32}+576q^{30}+213q^{28}-431q^{26}-436q^{24}+446q^{20}+311q^{18}-184q^{16}-383q^{14}-165q^{12}+245q^{10}+330q^{8}+66q^{6}-278q^{4}-306q^{2}+7+324q^{-2}+339q^{-4}-128q^{-6}-432q^{-8}-272q^{-10}+246q^{-12}+574q^{-14}+101q^{-16}-431q^{-18}-517q^{-20}+37q^{-22}+623q^{-24}+326q^{-26}-233q^{-28}-559q^{-30}-203q^{-32}+420q^{-34}+381q^{-36}+25q^{-38}-367q^{-40}-279q^{-42}+144q^{-44}+234q^{-46}+133q^{-48}-125q^{-50}-176q^{-52}+q^{-54}+70q^{-56}+88q^{-58}-14q^{-60}-59q^{-62}-11q^{-64}+4q^{-66}+26q^{-68}+3q^{-70}-11q^{-72}-q^{-74}-2q^{-76}+4q^{-78}-2q^{-82}+q^{-84}$
5	$-q^{155}+2q^{153}+2q^{151}-3q^{149}-3q^{147}-3q^{145}+10q^{141}+16q^{139}-2q^{137}-23q^{135}-29q^{133}-13q^{131}+32q^{129}+71q^{127}+52q^{125}-43q^{123}-132q^{121}-124q^{119}+8q^{117}+199q^{115}+275q^{113}+97q^{111}-254q^{109}-473q^{107}-316q^{105}+194q^{103}+700q^{101}+693q^{99}+26q^{97}-853q^{95}-1164q^{93}-488q^{91}+802q^{89}+1646q^{87}+1166q^{85}-454q^{83}-1975q^{81}-1968q^{79}-198q^{77}+1994q^{75}+2703q^{73}+1111q^{71}-1652q^{69}-3227q^{67}-2060q^{65}+989q^{63}+3361q^{61}+2906q^{59}-129q^{57}-3148q^{55}-3462q^{53}-718q^{51}+2634q^{49}+3644q^{47}+1441q^{45}-1965q^{43}-3518q^{41}-1914q^{39}+1292q^{37}+3139q^{35}+2125q^{33}-659q^{31}-2658q^{29}-2166q^{27}+164q^{25}+2139q^{23}+2091q^{21}+265q^{19}-1642q^{17}-2014q^{15}-655q^{13}+1175q^{11}+1966q^{9}+1091q^{7}-705q^{5}-1948q^{3}-1594q+160q^{-1}+1931q^{-3}+2165q^{-5}+487q^{-7}-1821q^{-9}-2732q^{-11}-1254q^{-13}+1532q^{-15}+3201q^{-17}+2084q^{-19}-1027q^{-21}-3429q^{-23}-2860q^{-25}+307q^{-27}+3311q^{-29}+3458q^{-31}+531q^{-33}-2851q^{-35}-3692q^{-37}-1334q^{-39}+2073q^{-41}+3538q^{-43}+1939q^{-45}-1174q^{-47}-3018q^{-49}-2189q^{-51}+321q^{-53}+2244q^{-55}+2098q^{-57}+317q^{-59}-1438q^{-61}-1736q^{-63}-624q^{-65}+727q^{-67}+1234q^{-69}+688q^{-71}-244q^{-73}-766q^{-75}-564q^{-77}+2q^{-79}+393q^{-81}+378q^{-83}+89q^{-85}-167q^{-87}-223q^{-89}-84q^{-91}+63q^{-93}+102q^{-95}+54q^{-97}-13q^{-99}-41q^{-101}-32q^{-103}+3q^{-105}+19q^{-107}+8q^{-109}-q^{-111}-2q^{-113}-4q^{-115}-2q^{-117}+4q^{-119}-2q^{-123}+q^{-125}$

A2 Invariants.

Weight	Invariant
1,0	$-q^{16}+q^{12}-q^{10}+3q^{8}+q^{6}+q^{2}-3+q^{-2}-2q^{-4}+q^{-6}+2q^{-8}-q^{-10}+q^{-12}$
1,1	$q^{44}-4q^{42}+12q^{40}-28q^{38}+54q^{36}-96q^{34}+150q^{32}-214q^{30}+280q^{28}-336q^{26}+366q^{24}-352q^{22}+299q^{20}-192q^{18}+42q^{16}+138q^{14}-321q^{12}+486q^{10}-622q^{8}+698q^{6}-714q^{4}+662q^{2}-550+398q^{-2}-213q^{-4}+36q^{-6}+132q^{-8}-256q^{-10}+334q^{-12}-360q^{-14}+344q^{-16}-304q^{-18}+239q^{-20}-174q^{-22}+118q^{-24}-74q^{-26}+42q^{-28}-20q^{-30}+10q^{-32}-4q^{-34}+q^{-36}$
2,0	$q^{42}-2q^{38}-2q^{36}+2q^{34}+3q^{32}-4q^{30}-3q^{28}+6q^{26}+5q^{24}-6q^{22}-3q^{20}+8q^{18}+5q^{16}-8q^{14}-q^{12}+5q^{10}-6q^{8}-5q^{6}+2q^{4}-3+7q^{-2}+9q^{-4}-3q^{-6}-2q^{-8}+9q^{-10}+q^{-12}-12q^{-14}-q^{-16}+6q^{-18}-q^{-20}-5q^{-22}+4q^{-26}-q^{-30}+q^{-32}$

A3 Invariants.

Weight	Invariant
0,1,0	$q^{34}-2q^{32}+q^{30}+3q^{28}-8q^{26}+3q^{24}+6q^{22}-13q^{20}+6q^{18}+11q^{16}-13q^{14}+6q^{12}+11q^{10}-7q^{8}-q^{6}+4q^{4}+q^{2}-6-5q^{-2}+9q^{-4}-5q^{-6}-10q^{-8}+16q^{-10}-q^{-12}-10q^{-14}+13q^{-16}-q^{-18}-7q^{-20}+5q^{-22}-2q^{-26}+q^{-28}$
1,0,0	$-q^{21}-q^{17}+q^{15}-q^{13}+4q^{11}+q^{9}+3q^{7}-2q-3q^{-1}-2q^{-5}+2q^{-7}+3q^{-11}-q^{-13}+q^{-15}$

A4 Invariants.

Weight	Invariant
0,1,0,0	$q^{44}-q^{40}+q^{38}+q^{36}-4q^{34}-5q^{32}+2q^{30}+2q^{28}-7q^{26}+15q^{22}+4q^{20}-7q^{18}+7q^{16}+10q^{14}-8q^{12}-8q^{10}+7q^{8}+q^{6}-11q^{4}+4q^{2}+9-10q^{-2}-5q^{-4}+12q^{-6}-3q^{-8}-11q^{-10}+6q^{-12}+10q^{-14}-5q^{-16}-5q^{-18}+8q^{-20}+4q^{-22}-6q^{-24}-q^{-26}+4q^{-28}-q^{-30}-q^{-32}+q^{-34}$
1,0,0,0	$-q^{26}-q^{22}-q^{20}+q^{18}-q^{16}+4q^{14}+2q^{12}+3q^{10}+3q^{8}-3q^{2}-2-4q^{-2}-2q^{-6}+2q^{-8}+q^{-10}+q^{-12}+3q^{-14}-q^{-16}+q^{-18}$

B2 Invariants.

Weight	Invariant
0,1	$-q^{34}+2q^{32}-5q^{30}+7q^{28}-10q^{26}+13q^{24}-14q^{22}+15q^{20}-12q^{18}+9q^{16}-q^{14}-4q^{12}+13q^{10}-19q^{8}+25q^{6}-28q^{4}+27q^{2}-26+19q^{-2}-13q^{-4}+5q^{-6}+2q^{-8}-8q^{-10}+13q^{-12}-14q^{-14}+15q^{-16}-13q^{-18}+11q^{-20}-7q^{-22}+4q^{-24}-2q^{-26}+q^{-28}$
1,0	$q^{56}-2q^{52}-2q^{50}+3q^{48}+5q^{46}-2q^{44}-9q^{42}-4q^{40}+10q^{38}+10q^{36}-6q^{34}-15q^{32}-q^{30}+16q^{28}+10q^{26}-11q^{24}-12q^{22}+5q^{20}+14q^{18}-11q^{14}-2q^{12}+10q^{10}+4q^{8}-9q^{6}-6q^{4}+7q^{2}+9-6q^{-2}-11q^{-4}+3q^{-6}+12q^{-8}-14q^{-12}-6q^{-14}+13q^{-16}+13q^{-18}-7q^{-20}-15q^{-22}+14q^{-26}+7q^{-28}-7q^{-30}-9q^{-32}+q^{-34}+6q^{-36}+2q^{-38}-2q^{-40}-2q^{-42}+q^{-46}$

D4 Invariants.

Weight	Invariant
1,0,0,0	$q^{46}-2q^{44}+3q^{42}-4q^{40}+6q^{38}-9q^{36}+8q^{34}-11q^{32}+11q^{30}-13q^{28}+9q^{26}-8q^{24}+9q^{22}-q^{20}+9q^{16}-4q^{14}+17q^{12}-17q^{10}+19q^{8}-20q^{6}+21q^{4}-24q^{2}+14-20q^{-2}+12q^{-4}-9q^{-6}+2q^{-8}-2q^{-10}-q^{-12}+11q^{-14}-7q^{-16}+11q^{-18}-11q^{-20}+14q^{-22}-9q^{-24}+8q^{-26}-9q^{-28}+6q^{-30}-3q^{-32}+2q^{-34}-2q^{-36}+q^{-38}$

G2 Invariants.

Weight

Invariant

1,0

$q^{80}-2q^{78}+5q^{76}-8q^{74}+7q^{72}-5q^{70}-5q^{68}+19q^{66}-31q^{64}+39q^{62}-34q^{60}+11q^{58}+19q^{56}-55q^{54}+79q^{52}-79q^{50}+49q^{48}-2q^{46}-48q^{44}+83q^{42}-84q^{40}+60q^{38}-9q^{36}-36q^{34}+61q^{32}-52q^{30}+14q^{28}+39q^{26}-69q^{24}+75q^{22}-40q^{20}-15q^{18}+77q^{16}-118q^{14}+120q^{12}-84q^{10}+16q^{8}+55q^{6}-109q^{4}+123q^{2}-97+43q^{-2}+15q^{-4}-64q^{-6}+72q^{-8}-52q^{-10}+6q^{-12}+39q^{-14}-60q^{-16}+48q^{-18}-8q^{-20}-41q^{-22}+79q^{-24}-87q^{-26}+65q^{-28}-21q^{-30}-29q^{-32}+67q^{-34}-77q^{-36}+67q^{-38}-34q^{-40}+5q^{-42}+19q^{-44}-33q^{-46}+32q^{-48}-23q^{-50}+13q^{-52}-2q^{-54}-4q^{-56}+5q^{-58}-6q^{-60}+4q^{-62}-2q^{-64}+q^{-66}$

.

Computer Talk

The above data is available with the Mathematica package KnotTheory`, as shown in the (simulated) Mathematica session below. Your input (in red) is realistic; all else should have the same content as in a real mathematica session, but with different formatting. This Mathematica session is also available (albeit only for the knot 5_2) as the notebook PolynomialInvariantsSession.nb.

(The path below may be different on your system, and possibly also the KnotTheory` date)

In[1]:=

AppendTo[$Path, "C:/drorbn/projects/KAtlas/"]; << KnotTheory`

Loading KnotTheory` version of August 31, 2006, 11:25:27.5625. Read more at http://katlas.math.toronto.edu/wiki/KnotTheory.

In[3]:=

K = Knot["9 30"];

In[4]:=

Alexander[K][t]

KnotTheory::loading: Loading precomputed data in PD4Knots`.

Out[4]=

$-t^{3}+5t^{2}-12t+17-12t^{-1}+5t^{-2}-t^{-3}$

In[5]:=

Conway[K][z]

Out[5]=

$-z^{6}-z^{4}-z^{2}+1$

In[6]:=

Alexander[K, 2][t]

KnotTheory::credits: The program Alexander[K, r] to compute Alexander ideals was written by Jana Archibald at the University of Toronto in the summer of 2005.

Out[6]=

$\{1\}$

In[7]:=

{KnotDet[K], KnotSignature[K]}

Out[7]=

{ 53, 0 }

In[8]:=

Jones[K][q]

KnotTheory::loading: Loading precomputed data in Jones4Knots`.

Out[8]=

$q^{4}-3q^{3}+6q^{2}-8q+9-9q^{-1}+8q^{-2}-5q^{-3}+3q^{-4}-q^{-5}$

In[9]:=

HOMFLYPT[K][a, z]

KnotTheory::credits: The HOMFLYPT program was written by Scott Morrison.

Out[9]=

$-z^{6}+2a^{2}z^{4}+z^{4}a^{-2}-4z^{4}-a^{4}z^{2}+5a^{2}z^{2}+2z^{2}a^{-2}-7z^{2}-a^{4}+4a^{2}+2a^{-2}-4$

In[10]:=

Kauffman[K][a, z]

KnotTheory::loading: Loading precomputed data in Kauffman4Knots`.

Out[10]=

$a^{2}z^{8}+z^{8}+3a^{3}z^{7}+7az^{7}+4z^{7}a^{-1}+3a^{4}z^{6}+8a^{2}z^{6}+5z^{6}a^{-2}+10z^{6}+a^{5}z^{5}-3a^{3}z^{5}-9az^{5}-2z^{5}a^{-1}+3z^{5}a^{-3}-7a^{4}z^{4}-22a^{2}z^{4}-7z^{4}a^{-2}+z^{4}a^{-4}-23z^{4}-2a^{5}z^{3}-3a^{3}z^{3}-2z^{3}a^{-1}-3z^{3}a^{-3}+5a^{4}z^{2}+16a^{2}z^{2}+5z^{2}a^{-2}-z^{2}a^{-4}+17z^{2}+a^{5}z+2a^{3}z+az+za^{-1}+za^{-3}-a^{4}-4a^{2}-2a^{-2}-4$

Vassiliev invariants

V2 and V3:

(-1, -1)

V2,1 through V6,9:

V2,1 V3,1 V4,1 V4,2 V4,3 V5,1 V5,2 V5,3 V5,4 V6,1 V6,2 V6,3 V6,4 V6,5 V6,6 V6,7 V6,8 V6,9 $-4$ $-8$ $8$ ${\frac {82}{3}}$ ${\frac {38}{3}}$ $32$ ${\frac {208}{3}}$ ${\frac {64}{3}}$ $24$ $-{\frac {32}{3}}$ $32$ $-{\frac {328}{3}}$ $-{\frac {152}{3}}$ $-{\frac {2431}{30}}$ ${\frac {1222}{15}}$ $-{\frac {8342}{45}}$ ${\frac {607}{18}}$ $-{\frac {1471}{30}}$

V_2,1 through V_6,9 were provided by Petr Dunin-Barkowski <barkovs@itep.ru>, Andrey Smirnov <asmirnov@itep.ru>, and Alexei Sleptsov <sleptsov@itep.ru> and uploaded on October 2010 by User:Drorbn. Note that they are normalized differently than V₂ and V₃.

Khovanov Homology

The coefficients of the monomials $t^{r}q^{j}$ are shown, along with their alternating sums $\chi$ (fixed $j$, alternation over $r$). The squares with yellow highlighting are those on the "critical diagonals", where $j-2r=s+1$ or $j-2r=s-1$, where $s=$0 is the signature of 9 30. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.

\   r    \    j   \ -5 -4 -3 -2 -1 0 1 2 3 4 χ 9                   1 1 7                 2   -2 5               4 1   3 3             4 2     -2 1           5 4       1 -1         5 5         0 -3       3 4           -1 -5     2 5             3 -7   1 3               -2 -9   2                 2 -11 1                   -1

Integral Khovanov Homology (db, data source)

$\dim {\mathcal {G}}_{2r+i}\operatorname {KH} _{\mathbb {Z} }^{r}$ $i=-1$ $i=1$ $r=-5$ ${\mathbb {Z} }$ $r=-4$ ${\mathbb {Z} }^{2}\oplus {\mathbb {Z} }_{2}$ ${\mathbb {Z} }$ $r=-3$ ${\mathbb {Z} }^{3}\oplus {\mathbb {Z} }_{2}^{2}$ ${\mathbb {Z} }^{2}$ $r=-2$ ${\mathbb {Z} }^{5}\oplus {\mathbb {Z} }_{2}^{3}$ ${\mathbb {Z} }^{3}$ $r=-1$ ${\mathbb {Z} }^{4}\oplus {\mathbb {Z} }_{2}^{5}$ ${\mathbb {Z} }^{5}$ $r=0$ ${\mathbb {Z} }^{5}\oplus {\mathbb {Z} }_{2}^{4}$ ${\mathbb {Z} }^{5}$ $r=1$ ${\mathbb {Z} }^{4}\oplus {\mathbb {Z} }_{2}^{4}$ ${\mathbb {Z} }^{4}$ $r=2$ ${\mathbb {Z} }^{2}\oplus {\mathbb {Z} }_{2}^{4}$ ${\mathbb {Z} }^{4}$ $r=3$ ${\mathbb {Z} }\oplus {\mathbb {Z} }_{2}^{2}$ ${\mathbb {Z} }^{2}$ $r=4$ ${\mathbb {Z} }_{2}$ ${\mathbb {Z} }$

Computer Talk

Much of the above data can be recomputed by Mathematica using the package KnotTheory`. See A Sample KnotTheory` Session.

${\textrm {Include}}({\textrm {ColouredJonesM.mhtml}})$

In[1]:=	<< KnotTheory`
Loading KnotTheory` (version of August 17, 2005, 14:44:34)...
In[2]:=	Crossings[Knot[9, 30]]
Out[2]=	9
In[3]:=	PD[Knot[9, 30]]
Out[3]=	PD[X[4, 2, 5, 1], X[10, 6, 11, 5], X[8, 3, 9, 4], X[2, 9, 3, 10], X[14, 8, 15, 7], X[18, 15, 1, 16], X[16, 11, 17, 12], X[12, 17, 13, 18], X[6, 14, 7, 13]]
In[4]:=	GaussCode[Knot[9, 30]]
Out[4]=	GaussCode[1, -4, 3, -1, 2, -9, 5, -3, 4, -2, 7, -8, 9, -5, 6, -7, 8, -6]
In[5]:=	BR[Knot[9, 30]]
Out[5]=	BR[4, {-1, -1, 2, 2, -1, 2, -3, 2, -3}]
In[6]:=	alex = Alexander[Knot[9, 30]][t]
Out[6]=	-3 5 12 2 3 17 - t + -- - -- - 12 t + 5 t - t 2 t t
In[7]:=	Conway[Knot[9, 30]][z]
Out[7]=	2 4 6 1 - z - z - z
In[8]:=	Select[AllKnots[], (alex === Alexander[#][t])&]
Out[8]=	{Knot[9, 30], Knot[11, NonAlternating, 130]}
In[9]:=	{KnotDet[Knot[9, 30]], KnotSignature[Knot[9, 30]]}
Out[9]=	{53, 0}
In[10]:=	J=Jones[Knot[9, 30]][q]
Out[10]=	-5 3 5 8 9 2 3 4 9 - q + -- - -- + -- - - - 8 q + 6 q - 3 q + q 4 3 2 q q q q
In[11]:=	Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]
Out[11]=	{Knot[9, 30], Knot[11, NonAlternating, 114]}
In[12]:=	A2Invariant[Knot[9, 30]][q]
Out[12]=	-16 -12 -10 3 -6 -2 2 4 6 8 -3 - q + q - q + -- + q + q + q - 2 q + q + 2 q - 8 q 10 12 q + q
In[13]:=	Kauffman[Knot[9, 30]][a, z]
Out[13]=	2 2 2 4 z z 3 5 2 z -4 - -- - 4 a - a + -- + - + a z + 2 a z + a z + 17 z - -- + 2 3 a 4 a a a 2 3 3 5 z 2 2 4 2 3 z 2 z 3 3 5 3 4 ---- + 16 a z + 5 a z - ---- - ---- - 3 a z - 2 a z - 23 z + 2 3 a a a 4 4 5 5 z 7 z 2 4 4 4 3 z 2 z 5 3 5 -- - ---- - 22 a z - 7 a z + ---- - ---- - 9 a z - 3 a z + 4 2 3 a a a a 6 7 5 5 6 5 z 2 6 4 6 4 z 7 3 7 a z + 10 z + ---- + 8 a z + 3 a z + ---- + 7 a z + 3 a z + 2 a a 8 2 8 z + a z
In[14]:=	{Vassiliev[2][Knot[9, 30]], Vassiliev[3][Knot[9, 30]]}
Out[14]=	{0, -1}
In[15]:=	Kh[Knot[9, 30]][q, t]
Out[15]=	5 1 2 1 3 2 5 3 - + 5 q + ------ + ----- + ----- + ----- + ----- + ----- + ----- + q 11 5 9 4 7 4 7 3 5 3 5 2 3 2 q t q t q t q t q t q t q t 4 5 3 3 2 5 2 5 3 7 3 ---- + --- + 4 q t + 4 q t + 2 q t + 4 q t + q t + 2 q t + 3 q t q t 9 4 q t