Pensieve header: Fuller output of for $8_{17}$.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\WKO4"];
<< FreeLie.m;
<< AwCalculus.m;
Rl[a_,b_]:= El[⟨a->LS[0], b->LS[LW@a]⟩, CWS[0]];
iRl[a_,b_]:= El[⟨a->LS[0], b->-LS[LW@a]⟩, CWS[0]];
Rs[a_,b_]:= Es[⟨a->LS[0], b->LS[LW@a]⟩, CWS[0]];
iRs[a_,b_]:= Es[⟨a->LS[0], b->-LS[LW@a]⟩, CWS[0]];
ζ=iRs[12,1]iRs[2,7]iRs[8,3]iRs[4,11]Rs[16,5]Rs[6,13]Rs[14,9]Rs[10,15];
Do[ζ = ζ // dm[1,k,1], {k,2,16}];ζ

ζ@{8} // Timing

The same thing, copy-paste ready and machine readable:

Sum[ζ[[2]][k], {k,8}] // InputForm

ζ@{10} // Timing

The same thing, copy-paste ready and machine readable:

Sum[ζ[[2]][k], {k,10}] // InputForm

Comparisson with the Alexander polynomial of (Subscript[8, 17]):

Series[Log[-(1/(X^3))+(4/(X^2))-(8/X)+11-8 X+4 (X^2)-(X^3) /. X->(E^x)], {x,0,10}]