Pensieve header: Working in the LogKink basis.

Startup

Date[]
SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\FullDoPeGDO"];
Once[<<KnotTheory`];
Once[Get@"../Profile/Profile.m"];
BeginProfile[];
$k=2;
<<Engine.m
<<Objects.m
<<KT.m
HL[ℰ_] := Style[ℰ, Background -> If[TrueQ@ℰ,,]];
CF[sd_SeriesData] := MapAt[CF,sd,3];

LK=Log[(Subscript[Kink, i])] is imported from LogKink.nb.

(Subscript[Kink, i])

Timing[LK=(Subscript[Log, dm])[(Subscript[Kink, i])]]

LK=(Subscript[𝕌, {}->{i}])[((ℏ (Subscript[b, i]))/2)+ℏ (Subscript[a, i]) (Subscript[b, i])-(((ℏ^2) (Subscript[b, i]) (Subscript[x, i]) (Subscript[y, i]))/(-1+(Subscript[B, i]))),((ℏ (Subscript[a, i]))/2)-(((ℏ^2) (Subscript[a, i]) (-1+(Subscript[B, i])+ℏ (Subscript[b, i]) (Subscript[B, i])) (Subscript[x, i]) (Subscript[y, i]))/(((-1+(Subscript[B, i])))^2))+(((ℏ^3) (-2+ℏ (Subscript[b, i])+2 (Subscript[B, i])+ℏ (Subscript[b, i]) (Subscript[B, i])) (Subscript[x, i]^2) (Subscript[y, i]^2))/(2 (((-1+(Subscript[B, i])))^3))),-(((ℏ^3) (Subscript[a, i]^2) (Subscript[B, i]) (-2+ℏ (Subscript[b, i])+2 (Subscript[B, i])+ℏ (Subscript[b, i]) (Subscript[B, i])) (Subscript[x, i]) (Subscript[y, i]))/(2 (((-1+(Subscript[B, i])))^3)))-(((ℏ^4) (-1-4 (Subscript[B, i])+4 ℏ (Subscript[b, i]) (Subscript[B, i])+5 (Subscript[B, i]^2)+2 ℏ (Subscript[b, i]) (Subscript[B, i]^2)) (Subscript[x, i]^2) (Subscript[y, i]^2))/(2 (((-1+(Subscript[B, i])))^4)))+(((ℏ^4) (Subscript[a, i]) (-1-4 (Subscript[B, i])+4 ℏ (Subscript[b, i]) (Subscript[B, i])+5 (Subscript[B, i]^2)+2 ℏ (Subscript[b, i]) (Subscript[B, i]^2)) (Subscript[x, i]^2) (Subscript[y, i]^2))/(2 (((-1+(Subscript[B, i])))^4)))-(((ℏ^5) (-3+ℏ (Subscript[b, i])+4 ℏ (Subscript[b, i]) (Subscript[B, i])+3 (Subscript[B, i]^2)+ℏ (Subscript[b, i]) (Subscript[B, i]^2)) (Subscript[x, i]^3) (Subscript[y, i]^3))/(3 (((-1+(Subscript[B, i])))^5)))];

lk=Sum[(ϵ^k)LK[[k+1]], {k,0,Length[LK]-1}]+((O[ϵ])^(Length[LK]))

CF[lk+ϵ c(((ℏ^2) (Subscript[B, i])(Subscript[a, i])(Subscript[x, i])(Subscript[y, i])lk)/((((Subscript[B, i])-1))^2))]

tab5=Table[Echo[K->Z[K]], {K, AllKnots[{3,5}]}]