9 26

9_25

9_27

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

9 26 Further Notes and Views

Knot presentations

Planar diagram presentation	X1425 X5,12,6,13 X3,11,4,10 X11,3,12,2 X13,18,14,1 X7,15,8,14 X17,7,18,6 X9,17,10,16 X15,9,16,8
Gauss code	-1, 4, -3, 1, -2, 7, -6, 9, -8, 3, -4, 2, -5, 6, -9, 8, -7, 5
Dowker-Thistlethwaite code	4 10 12 14 16 2 18 8 6
Conway Notation	[311112]

Three dimensional invariants

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

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

Four dimensional invariants

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

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

Polynomial invariants

Alexander polynomial	$t^{3}-5t^{2}+11t-13+11t^{-1}-5t^{-2}+t^{-3}$
Conway polynomial	$z^{6}+z^{4}+1$
2nd Alexander ideal (db, data sources)	$\{1\}$
Determinant and Signature	{ 47, 2 }
Jones polynomial	$q^{7}-3q^{6}+5q^{5}-7q^{4}+8q^{3}-8q^{2}+7q-4+3q^{-1}-q^{-2}$
HOMFLY-PT polynomial (db, data sources)	$z^{6}a^{-2}+4z^{4}a^{-2}-2z^{4}a^{-4}-z^{4}+6z^{2}a^{-2}-5z^{2}a^{-4}+z^{2}a^{-6}-2z^{2}+3a^{-2}-3a^{-4}+a^{-6}$
Kauffman polynomial (db, data sources)	$z^{8}a^{-2}+z^{8}a^{-4}+3z^{7}a^{-1}+6z^{7}a^{-3}+3z^{7}a^{-5}+5z^{6}a^{-2}+6z^{6}a^{-4}+4z^{6}a^{-6}+3z^{6}+az^{5}-6z^{5}a^{-1}-11z^{5}a^{-3}-z^{5}a^{-5}+3z^{5}a^{-7}-16z^{4}a^{-2}-14z^{4}a^{-4}-5z^{4}a^{-6}+z^{4}a^{-8}-8z^{4}-2az^{3}+3z^{3}a^{-1}+7z^{3}a^{-3}-2z^{3}a^{-5}-4z^{3}a^{-7}+13z^{2}a^{-2}+11z^{2}a^{-4}+2z^{2}a^{-6}-z^{2}a^{-8}+5z^{2}-za^{-1}-za^{-3}+za^{-5}+za^{-7}-3a^{-2}-3a^{-4}-a^{-6}$
The A2 invariant	$-q^{6}+q^{4}+1+3q^{-2}-q^{-4}+2q^{-6}-q^{-8}-2q^{-14}+q^{-16}-q^{-18}+q^{-22}$
The G2 invariant	$q^{32}-2q^{30}+4q^{28}-7q^{26}+5q^{24}-4q^{22}-4q^{20}+16q^{18}-23q^{16}+28q^{14}-23q^{12}+8q^{10}+15q^{8}-39q^{6}+53q^{4}-49q^{2}+30+2q^{-2}-31q^{-4}+51q^{-6}-49q^{-8}+35q^{-10}-5q^{-12}-23q^{-14}+35q^{-16}-28q^{-18}+6q^{-20}+25q^{-22}-40q^{-24}+44q^{-26}-23q^{-28}-10q^{-30}+46q^{-32}-73q^{-34}+76q^{-36}-53q^{-38}+12q^{-40}+33q^{-42}-67q^{-44}+78q^{-46}-62q^{-48}+28q^{-50}+5q^{-52}-38q^{-54}+44q^{-56}-31q^{-58}+4q^{-60}+21q^{-62}-33q^{-64}+26q^{-66}-4q^{-68}-25q^{-70}+44q^{-72}-50q^{-74}+40q^{-76}-15q^{-78}-15q^{-80}+38q^{-82}-46q^{-84}+44q^{-86}-27q^{-88}+9q^{-90}+8q^{-92}-21q^{-94}+24q^{-96}-19q^{-98}+13q^{-100}-4q^{-102}-2q^{-104}+4q^{-106}-6q^{-108}+4q^{-110}-2q^{-112}+q^{-114}$

Further Quantum Invariants

Further quantum knot invariants for 9_26.

A1 Invariants.

Weight	Invariant
1	$-q^{5}+2q^{3}-q+3q^{-1}-q^{-3}+q^{-7}-2q^{-9}+2q^{-11}-2q^{-13}+q^{-15}$
2	$q^{16}-2q^{14}-2q^{12}+6q^{10}-2q^{8}-7q^{6}+10q^{4}+2q^{2}-12+10q^{-2}+6q^{-4}-12q^{-6}+4q^{-8}+7q^{-10}-5q^{-12}-5q^{-14}+3q^{-16}+6q^{-18}-10q^{-20}-q^{-22}+14q^{-24}-9q^{-26}-5q^{-28}+12q^{-30}-5q^{-32}-5q^{-34}+6q^{-36}-q^{-38}-2q^{-40}+q^{-42}$
3	$-q^{33}+2q^{31}+2q^{29}-3q^{27}-6q^{25}+2q^{23}+13q^{21}-q^{19}-19q^{17}-6q^{15}+26q^{13}+16q^{11}-27q^{9}-31q^{7}+27q^{5}+42q^{3}-16q-51q^{-1}+9q^{-3}+56q^{-5}+4q^{-7}-54q^{-9}-15q^{-11}+50q^{-13}+19q^{-15}-38q^{-17}-28q^{-19}+25q^{-21}+30q^{-23}-8q^{-25}-32q^{-27}-9q^{-29}+30q^{-31}+29q^{-33}-27q^{-35}-43q^{-37}+20q^{-39}+54q^{-41}-10q^{-43}-57q^{-45}+53q^{-49}+9q^{-51}-45q^{-53}-14q^{-55}+32q^{-57}+14q^{-59}-21q^{-61}-12q^{-63}+13q^{-65}+10q^{-67}-8q^{-69}-5q^{-71}+3q^{-73}+3q^{-75}-q^{-77}-2q^{-79}+q^{-81}$
4	$q^{56}-2q^{54}-2q^{52}+3q^{50}+3q^{48}+6q^{46}-9q^{44}-13q^{42}+2q^{40}+10q^{38}+31q^{36}-9q^{34}-41q^{32}-23q^{30}+8q^{28}+81q^{26}+29q^{24}-55q^{22}-85q^{20}-53q^{18}+115q^{16}+119q^{14}+6q^{12}-130q^{10}-173q^{8}+63q^{6}+186q^{4}+138q^{2}-83-269q^{-2}-60q^{-4}+161q^{-6}+241q^{-8}+25q^{-10}-270q^{-12}-161q^{-14}+76q^{-16}+255q^{-18}+108q^{-20}-196q^{-22}-186q^{-24}-4q^{-26}+198q^{-28}+138q^{-30}-91q^{-32}-167q^{-34}-70q^{-36}+113q^{-38}+145q^{-40}+30q^{-42}-122q^{-44}-137q^{-46}-5q^{-48}+139q^{-50}+170q^{-52}-49q^{-54}-195q^{-56}-142q^{-58}+91q^{-60}+276q^{-62}+59q^{-64}-179q^{-66}-244q^{-68}-11q^{-70}+280q^{-72}+147q^{-74}-80q^{-76}-238q^{-78}-103q^{-80}+178q^{-82}+146q^{-84}+21q^{-86}-142q^{-88}-113q^{-90}+68q^{-92}+75q^{-94}+50q^{-96}-50q^{-98}-66q^{-100}+18q^{-102}+20q^{-104}+30q^{-106}-14q^{-108}-26q^{-110}+8q^{-112}+2q^{-114}+11q^{-116}-3q^{-118}-8q^{-120}+3q^{-122}+3q^{-126}-q^{-128}-2q^{-130}+q^{-132}$
5	$-q^{85}+2q^{83}+2q^{81}-3q^{79}-3q^{77}-3q^{75}+q^{73}+9q^{71}+13q^{69}-2q^{67}-20q^{65}-22q^{63}-7q^{61}+25q^{59}+49q^{57}+33q^{55}-33q^{53}-87q^{51}-70q^{49}+12q^{47}+118q^{45}+151q^{43}+44q^{41}-140q^{39}-239q^{37}-149q^{35}+90q^{33}+325q^{31}+318q^{29}+23q^{27}-350q^{25}-498q^{23}-242q^{21}+283q^{19}+651q^{17}+513q^{15}-83q^{13}-709q^{11}-812q^{9}-203q^{7}+644q^{5}+1030q^{3}+571q-444q^{-1}-1161q^{-3}-901q^{-5}+162q^{-7}+1138q^{-9}+1163q^{-11}+163q^{-13}-1012q^{-15}-1308q^{-17}-440q^{-19}+807q^{-21}+1315q^{-23}+646q^{-25}-568q^{-27}-1239q^{-29}-763q^{-31}+370q^{-33}+1078q^{-35}+786q^{-37}-173q^{-39}-913q^{-41}-771q^{-43}+43q^{-45}+737q^{-47}+723q^{-49}+97q^{-51}-572q^{-53}-695q^{-55}-228q^{-57}+398q^{-59}+683q^{-61}+398q^{-63}-215q^{-65}-672q^{-67}-599q^{-69}-17q^{-71}+649q^{-73}+829q^{-75}+281q^{-77}-581q^{-79}-1025q^{-81}-601q^{-83}+431q^{-85}+1174q^{-87}+912q^{-89}-205q^{-91}-1204q^{-93}-1173q^{-95}-90q^{-97}+1103q^{-99}+1337q^{-101}+391q^{-103}-880q^{-105}-1346q^{-107}-639q^{-109}+569q^{-111}+1213q^{-113}+788q^{-115}-255q^{-117}-967q^{-119}-799q^{-121}-8q^{-123}+667q^{-125}+701q^{-127}+174q^{-129}-392q^{-131}-536q^{-133}-233q^{-135}+181q^{-137}+354q^{-139}+215q^{-141}-45q^{-143}-209q^{-145}-164q^{-147}-4q^{-149}+104q^{-151}+98q^{-153}+24q^{-155}-43q^{-157}-59q^{-159}-16q^{-161}+22q^{-163}+23q^{-165}+8q^{-167}-7q^{-169}-10q^{-171}-6q^{-173}+5q^{-175}+7q^{-177}-2q^{-179}-3q^{-181}+3q^{-189}-q^{-191}-2q^{-193}+q^{-195}$

A2 Invariants.

Weight	Invariant
1,0	$-q^{6}+q^{4}+1+3q^{-2}-q^{-4}+2q^{-6}-q^{-8}-2q^{-14}+q^{-16}-q^{-18}+q^{-22}$
1,1	$q^{20}-4q^{18}+10q^{16}-22q^{14}+42q^{12}-70q^{10}+100q^{8}-140q^{6}+177q^{4}-196q^{2}+208-188q^{-2}+157q^{-4}-86q^{-6}+2q^{-8}+94q^{-10}-193q^{-12}+280q^{-14}-354q^{-16}+392q^{-18}-402q^{-20}+372q^{-22}-312q^{-24}+228q^{-26}-133q^{-28}+34q^{-30}+58q^{-32}-124q^{-34}+170q^{-36}-190q^{-38}+194q^{-40}-176q^{-42}+146q^{-44}-118q^{-46}+86q^{-48}-58q^{-50}+36q^{-52}-20q^{-54}+10q^{-56}-4q^{-58}+q^{-60}$
2,0	$q^{18}-q^{16}-2q^{14}+q^{12}+2q^{10}-2q^{8}-4q^{6}+4q^{4}+6q^{2}-2-2q^{-2}+8q^{-4}+2q^{-6}-4q^{-8}+q^{-10}+5q^{-12}-2q^{-14}-4q^{-16}+2q^{-18}-2q^{-20}-7q^{-22}+q^{-24}+4q^{-26}-5q^{-28}-q^{-30}+7q^{-32}+3q^{-34}-4q^{-36}+5q^{-40}-4q^{-44}+q^{-48}-q^{-50}-q^{-52}+q^{-56}$

A3 Invariants.

Weight	Invariant
0,1,0	$q^{14}-2q^{12}+2q^{8}-6q^{6}+4q^{4}+6q^{2}-7+6q^{-2}+9q^{-4}-10q^{-6}+3q^{-8}+8q^{-10}-6q^{-12}-q^{-14}+3q^{-16}-5q^{-20}-4q^{-22}+7q^{-24}-4q^{-26}-7q^{-28}+12q^{-30}-q^{-32}-8q^{-34}+9q^{-36}-6q^{-40}+4q^{-42}-2q^{-46}+q^{-48}$
1,0,0	$-q^{7}+q^{5}-q^{3}+2q+3q^{-3}+2q^{-7}+q^{-9}-2q^{-15}-3q^{-19}+q^{-21}-q^{-23}+q^{-25}+q^{-29}$

A4 Invariants.

Weight	Invariant
0,1,0,0	$q^{16}-q^{14}-q^{12}+q^{10}-2q^{8}-3q^{6}+3q^{4}+3q^{2}-3+3q^{-2}+10q^{-4}+4q^{-6}-5q^{-8}+6q^{-10}+9q^{-12}-6q^{-14}-6q^{-16}+7q^{-18}-2q^{-20}-10q^{-22}+q^{-24}+2q^{-26}-7q^{-28}-3q^{-30}+7q^{-32}-6q^{-36}+5q^{-38}+7q^{-40}-5q^{-42}-3q^{-44}+6q^{-46}+2q^{-48}-4q^{-50}-q^{-52}+2q^{-54}-2q^{-58}+q^{-62}$
1,0,0,0	$-q^{8}+q^{6}-q^{4}+q^{2}+1+3q^{-4}+3q^{-8}+q^{-10}+2q^{-12}-2q^{-18}-2q^{-20}-q^{-22}-3q^{-24}+q^{-26}-q^{-28}+q^{-30}+q^{-32}+q^{-36}$

B2 Invariants.

Weight	Invariant
0,1	$-q^{14}+2q^{12}-4q^{10}+6q^{8}-8q^{6}+10q^{4}-10q^{2}+11-8q^{-2}+7q^{-4}-3q^{-8}+10q^{-10}-14q^{-12}+19q^{-14}-21q^{-16}+20q^{-18}-19q^{-20}+14q^{-22}-11q^{-24}+4q^{-26}+q^{-28}-6q^{-30}+9q^{-32}-10q^{-34}+11q^{-36}-10q^{-38}+8q^{-40}-6q^{-42}+4q^{-44}-2q^{-46}+q^{-48}$
1,0	$q^{24}-2q^{20}-2q^{18}+2q^{16}+4q^{14}-2q^{12}-7q^{10}-2q^{8}+9q^{6}+8q^{4}-4q^{2}-10+q^{-2}+12q^{-4}+8q^{-6}-8q^{-8}-9q^{-10}+3q^{-12}+10q^{-14}-8q^{-18}-2q^{-20}+7q^{-22}+3q^{-24}-7q^{-26}-5q^{-28}+5q^{-30}+6q^{-32}-5q^{-34}-8q^{-36}+2q^{-38}+9q^{-40}-10q^{-44}-4q^{-46}+10q^{-48}+9q^{-50}-5q^{-52}-11q^{-54}-q^{-56}+10q^{-58}+6q^{-60}-5q^{-62}-7q^{-64}+5q^{-68}+2q^{-70}-2q^{-72}-2q^{-74}+q^{-78}$

D4 Invariants.

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

G2 Invariants.

Weight

Invariant

1,0

$q^{32}-2q^{30}+4q^{28}-7q^{26}+5q^{24}-4q^{22}-4q^{20}+16q^{18}-23q^{16}+28q^{14}-23q^{12}+8q^{10}+15q^{8}-39q^{6}+53q^{4}-49q^{2}+30+2q^{-2}-31q^{-4}+51q^{-6}-49q^{-8}+35q^{-10}-5q^{-12}-23q^{-14}+35q^{-16}-28q^{-18}+6q^{-20}+25q^{-22}-40q^{-24}+44q^{-26}-23q^{-28}-10q^{-30}+46q^{-32}-73q^{-34}+76q^{-36}-53q^{-38}+12q^{-40}+33q^{-42}-67q^{-44}+78q^{-46}-62q^{-48}+28q^{-50}+5q^{-52}-38q^{-54}+44q^{-56}-31q^{-58}+4q^{-60}+21q^{-62}-33q^{-64}+26q^{-66}-4q^{-68}-25q^{-70}+44q^{-72}-50q^{-74}+40q^{-76}-15q^{-78}-15q^{-80}+38q^{-82}-46q^{-84}+44q^{-86}-27q^{-88}+9q^{-90}+8q^{-92}-21q^{-94}+24q^{-96}-19q^{-98}+13q^{-100}-4q^{-102}-2q^{-104}+4q^{-106}-6q^{-108}+4q^{-110}-2q^{-112}+q^{-114}$

.

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 26"];

In[4]:=

Alexander[K][t]

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

Out[4]=

$t^{3}-5t^{2}+11t-13+11t^{-1}-5t^{-2}+t^{-3}$

In[5]:=

Conway[K][z]

Out[5]=

$z^{6}+z^{4}+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]=

{ 47, 2 }

In[8]:=

Jones[K][q]

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

Out[8]=

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

In[9]:=

HOMFLYPT[K][a, z]

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

Out[9]=

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

In[10]:=

Kauffman[K][a, z]

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

Out[10]=

$z^{8}a^{-2}+z^{8}a^{-4}+3z^{7}a^{-1}+6z^{7}a^{-3}+3z^{7}a^{-5}+5z^{6}a^{-2}+6z^{6}a^{-4}+4z^{6}a^{-6}+3z^{6}+az^{5}-6z^{5}a^{-1}-11z^{5}a^{-3}-z^{5}a^{-5}+3z^{5}a^{-7}-16z^{4}a^{-2}-14z^{4}a^{-4}-5z^{4}a^{-6}+z^{4}a^{-8}-8z^{4}-2az^{3}+3z^{3}a^{-1}+7z^{3}a^{-3}-2z^{3}a^{-5}-4z^{3}a^{-7}+13z^{2}a^{-2}+11z^{2}a^{-4}+2z^{2}a^{-6}-z^{2}a^{-8}+5z^{2}-za^{-1}-za^{-3}+za^{-5}+za^{-7}-3a^{-2}-3a^{-4}-a^{-6}$

Vassiliev invariants

V2 and V3:

(0, -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 $0$ $-8$ $0$ $-32$ $-8$ $0$ $-{\frac {176}{3}}$ ${\frac {64}{3}}$ $-40$ $0$ $32$ $0$ $0$ $0$ ${\frac {248}{3}}$ $-{\frac {88}{3}}$ $-{\frac {112}{3}}$ $0$

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=$2 is the signature of 9 26. Nonzero entries off the critical diagonals (if any exist) are highlighted in red.

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

Integral Khovanov Homology (db, data source)

$\dim {\mathcal {G}}_{2r+i}\operatorname {KH} _{\mathbb {Z} }^{r}$ $i=1$ $i=3$ $r=-3$ ${\mathbb {Z} }$ $r=-2$ ${\mathbb {Z} }^{2}\oplus {\mathbb {Z} }_{2}$ ${\mathbb {Z} }$ $r=-1$ ${\mathbb {Z} }^{2}\oplus {\mathbb {Z} }_{2}^{2}$ ${\mathbb {Z} }^{2}$ $r=0$ ${\mathbb {Z} }^{5}\oplus {\mathbb {Z} }_{2}^{2}$ ${\mathbb {Z} }^{3}$ $r=1$ ${\mathbb {Z} }^{4}\oplus {\mathbb {Z} }_{2}^{4}$ ${\mathbb {Z} }^{4}$ $r=2$ ${\mathbb {Z} }^{4}\oplus {\mathbb {Z} }_{2}^{4}$ ${\mathbb {Z} }^{4}$ $r=3$ ${\mathbb {Z} }^{3}\oplus {\mathbb {Z} }_{2}^{4}$ ${\mathbb {Z} }^{4}$ $r=4$ ${\mathbb {Z} }^{2}\oplus {\mathbb {Z} }_{2}^{3}$ ${\mathbb {Z} }^{3}$ $r=5$ ${\mathbb {Z} }\oplus {\mathbb {Z} }_{2}^{2}$ ${\mathbb {Z} }^{2}$ $r=6$ ${\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, 26]]
Out[2]=	9
In[3]:=	PD[Knot[9, 26]]
Out[3]=	PD[X[1, 4, 2, 5], X[5, 12, 6, 13], X[3, 11, 4, 10], X[11, 3, 12, 2], X[13, 18, 14, 1], X[7, 15, 8, 14], X[17, 7, 18, 6], X[9, 17, 10, 16], X[15, 9, 16, 8]]
In[4]:=	GaussCode[Knot[9, 26]]
Out[4]=	GaussCode[-1, 4, -3, 1, -2, 7, -6, 9, -8, 3, -4, 2, -5, 6, -9, 8, -7, 5]
In[5]:=	BR[Knot[9, 26]]
Out[5]=	BR[4, {1, 1, 1, -2, 1, -2, 3, -2, 3}]
In[6]:=	alex = Alexander[Knot[9, 26]][t]
Out[6]=	-3 5 11 2 3 -13 + t - -- + -- + 11 t - 5 t + t 2 t t
In[7]:=	Conway[Knot[9, 26]][z]
Out[7]=	4 6 1 + z + z
In[8]:=	Select[AllKnots[], (alex === Alexander[#][t])&]
Out[8]=	{Knot[9, 26], Knot[11, NonAlternating, 25]}
In[9]:=	{KnotDet[Knot[9, 26]], KnotSignature[Knot[9, 26]]}
Out[9]=	{47, 2}
In[10]:=	J=Jones[Knot[9, 26]][q]
Out[10]=	-2 3 2 3 4 5 6 7 -4 - q + - + 7 q - 8 q + 8 q - 7 q + 5 q - 3 q + q q
In[11]:=	Select[AllKnots[], (J === Jones[#][q] || (J /. q-> 1/q) === Jones[#][q])&]
Out[11]=	{Knot[9, 26]}
In[12]:=	A2Invariant[Knot[9, 26]][q]
Out[12]=	-6 -4 2 4 6 8 14 16 18 22 1 - q + q + 3 q - q + 2 q - q - 2 q + q - q + q
In[13]:=	Kauffman[Knot[9, 26]][a, z]
Out[13]=	2 2 2 2 -6 3 3 z z z z 2 z 2 z 11 z 13 z -a - -- - -- + -- + -- - -- - - + 5 z - -- + ---- + ----- + ----- - 4 2 7 5 3 a 8 6 4 2 a a a a a a a a a 3 3 3 3 4 4 4 4 z 2 z 7 z 3 z 3 4 z 5 z 14 z ---- - ---- + ---- + ---- - 2 a z - 8 z + -- - ---- - ----- - 7 5 3 a 8 6 4 a a a a a a 4 5 5 5 5 6 6 6 16 z 3 z z 11 z 6 z 5 6 4 z 6 z 5 z ----- + ---- - -- - ----- - ---- + a z + 3 z + ---- + ---- + ---- + 2 7 5 3 a 6 4 2 a a a a a a a 7 7 7 8 8 3 z 6 z 3 z z z ---- + ---- + ---- + -- + -- 5 3 a 4 2 a a a a
In[14]:=	{Vassiliev[2][Knot[9, 26]], Vassiliev[3][Knot[9, 26]]}
Out[14]=	{0, -1}
In[15]:=	Kh[Knot[9, 26]][q, t]
Out[15]=	3 1 2 1 2 2 q 3 5 5 q + 3 q + ----- + ----- + ---- + --- + --- + 4 q t + 4 q t + 5 3 3 2 2 q t t q t q t q t 5 2 7 2 7 3 9 3 9 4 11 4 11 5 4 q t + 4 q t + 3 q t + 4 q t + 2 q t + 3 q t + q t + 13 5 15 6 2 q t + q t