Pensieve header: Implementing $\rho_1$ (old version, before the first conversion).

\def\nbpdfInput#1{\vskip 1mm\par\noindent\includegraphics{#1}}
\def\nbpdfEcho#1{\vskip 1mm\par\noindent\includegraphics{#1}}
\def\nbpdfPrint#1{\vskip 1mm\par\noindent\includegraphics{#1}}
\def\nbpdfText#1{\vskip 1mm\par\noindent\includegraphics{#1}}
\def\nbpdfMessage#1{\vskip 1mm\par\noindent\includegraphics{#1}}
\def\nbpdfOutput#1{\vskip 1mm\par\noindent\includegraphics{#1}}
\def\nbpdfSubsection#1{\vskip 1mm\par\noindent\includegraphics{#1}}
\def\nbpdfgraphInput#1{\vskip 1mm\par\noindent\includegraphics{#1}}
\def\nbpdfgraphOutput#1{\vskip 1mm\par\noindent\includegraphics[width=1.5in]{#1}}

SetDirectory["C:\\drorbn\\AcademicPensieve\\Talks\\Waco-2203"];

Once[<<KnotTheory`; <<RVK.m];

\def\sep{\rule{\linewidth}{0.5pt}}
\sep

ρ[K_]:=Module[{Cs,r,n,B,A,c,s,i,j,Δ,G,g,ρ1},
{Cs,r}=List@@RVK[K]; n=Length[Cs]; B=Table[0,2n,2n+1];
Do[{s,i,j}=c;B[[{i,j},{i,j,i+1,j+1}]]=(({{1, 0, -1, 0}, {0, 1, (T^s)-1, -(T^s)}})),{c,Cs}];
A=B[[All,2;;]];
Δ=(T^((Total[r]-Total[First/@Cs])/2))Det[A];
G=Prepend[Table[0,2n]][Inverse[A]]; (Subscript[g, α_,β_]):=G[[α,β]];
ρ1=(Δ^2)Sum[{s,i,j}=c;s((1-(T^s))(Subscript[g, i,j])((Subscript[g, i,j])-(Subscript[g, j,j]))+2(Subscript[g, i,i])(Subscript[g, i,j])-(Subscript[g, i,j])(Subscript[g, j,i])-(Subscript[g, i,i])(Subscript[g, j,j])-(Subscript[g, i,j])+(Subscript[g, j,j])-1/2),{c,Cs}];
ρ1+=(Δ^2)Sum[r[[k]]((Subscript[g, k,k])-1/2),{k,2n}] ;
Factor@{Δ,ρ1}];

\sep

Do[Echo[K->ρ[K]], {K,AllKnots[{3,6}]}]

\sep
\[ \resizebox{\linewidth}{!}{\input{GST48-Marked.pdf_t}} \]

Timing@ρ[EPD[(Subscript[X, 14,1]),(Subscript[(OverBar[X]), 2,29]),(Subscript[X, 3,40]),(Subscript[X, 43,4]),(Subscript[(OverBar[X]), 26,5]),(Subscript[X, 6,95]),(Subscript[X, 96,7]),(Subscript[X, 13,8]),(Subscript[(OverBar[X]), 9,28]),(Subscript[X, 10,41]),(Subscript[X, 42,11]),(Subscript[(OverBar[X]), 27,12]),(Subscript[X, 30,15]),(Subscript[(OverBar[X]), 16,61]),(Subscript[(OverBar[X]), 17,72]),(Subscript[(OverBar[X]), 18,83]),(Subscript[X, 19,34]),(Subscript[(OverBar[X]), 89,20]),(Subscript[(OverBar[X]), 21,92]),(Subscript[(OverBar[X]), 79,22]),(Subscript[(OverBar[X]), 68,23]),(Subscript[(OverBar[X]), 57,24]),(Subscript[(OverBar[X]), 25,56]),(Subscript[X, 62,31]),(Subscript[X, 73,32]),(Subscript[X, 84,33]),(Subscript[(OverBar[X]), 50,35]),(Subscript[X, 36,81]),(Subscript[X, 37,70]),(Subscript[X, 38,59]),(Subscript[(OverBar[X]), 39,54]),(Subscript[X, 44,55]),(Subscript[X, 58,45]),(Subscript[X, 69,46]),(Subscript[X, 80,47]),(Subscript[X, 48,91]),(Subscript[X, 90,49]),(Subscript[X, 51,82]),(Subscript[X, 52,71]),(Subscript[X, 53,60]),(Subscript[(OverBar[X]), 63,74]),(Subscript[(OverBar[X]), 64,85]),(Subscript[(OverBar[X]), 76,65]),(Subscript[(OverBar[X]), 87,66]),(Subscript[(OverBar[X]), 67,94]),(Subscript[(OverBar[X]), 75,86]),(Subscript[(OverBar[X]), 88,77]),(Subscript[(OverBar[X]), 78,93])]]

Timing@ρ[EPD[(Subscript[X, 20,1]),(Subscript[(OverBar[X]), 18,3]),(Subscript[X, 25,4]),(Subscript[(OverBar[X]), 12,5]),(Subscript[X, 21,8]),(Subscript[(OverBar[X]), 17,10]),(Subscript[X, 26,11]),(Subscript[(OverBar[X]), 30,13]),(Subscript[(OverBar[X]), 28,15]),(Subscript[(OverBar[X]), 7,16]),(Subscript[X, 24,19]),(Subscript[X, 9,22]),(Subscript[X, 2,23]),(Subscript[X, 6,27]),(Subscript[(OverBar[X]), 14,29])]]

Timing@ρ[EPD[(Subscript[(OverBar[X]), 9,2]),(Subscript[(OverBar[X]), 19,4]),(Subscript[X, 12,5]),(Subscript[(OverBar[X]), 1,8]),(Subscript[(OverBar[X]), 20,11]),(Subscript[X, 26,13]),(Subscript[X, 7,14]),(Subscript[X, 22,15]),(Subscript[(OverBar[X]), 10,17]),(Subscript[(OverBar[X]), 3,18]),(Subscript[X, 24,21]),(Subscript[X, 16,23]),(Subscript[(OverBar[X]), 6,25])]]