Pensieve header: Taking logarithms, for comparisons with penseive://Projects/FullDoPeGDO/.

Startup

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\SL2Portfolio2"];
<< KnotTheory`;
<<"../Profile/Profile.m";
<<"Engine-With-w.m";
<<"Objects-With-w.m";
<<"KT.m";
BeginProfile[];
PopupWindow[Button["Show Profile Monitor"],Dynamic[PrintProfile[], UpdateInterval->3, TrackedSymbols->{}]]

LogE[(Subscript[𝔼, d_->r_])[L_,Q_,P_]]:=Module[{ℰ=L+Q+Log[P],k},(Subscript[𝔽, d->r])@@Table[CF@SeriesCoefficient[ℰ,{ϵ,0,k}],{k,0,$k}]];

$k=1; γ=1;

HL[ℰ_] := Style[ℰ, Background -> If[TrueQ@ℰ,,]];

(Subscript[cm, 1,2->3])

$k=2;

(Subscript[cm, 1,2->3])//LogE

((Subscript[cm, 1,2->1])//(Subscript[cm, 1,3->1]))//LogE

$k=1; (Subscript[R, i,j])//LogE

$k=3; (Subscript[(OverBar[R]), i,j])//LogE

$k=0;LogE[t1=(Subscript[𝔼, {}->{1,2,3,4}])[ℏ (Subscript[a, 2]) (Subscript[b, 1])-ℏ (Subscript[a, 4]) (Subscript[b, 3]),ℏ (Subscript[x, 2]) (Subscript[y, 1])-((ℏ (Subscript[x, 4]) (Subscript[y, 3]))/(Subscript[B, 3])),1]]

LogE[t2=(Subscript[𝔼, {1,2,3,4}->{1,2}])[(Subscript[a, 2]) ((Subscript[α, 2])+(Subscript[α, 4]))+(Subscript[b, 1]) (Subscript[β, 1])+(Subscript[b, 1]) (Subscript[β, 3]),(Subscript[y, 1]) (Subscript[η, 1])+(Subscript[y, 1]) (Subscript[η, 3])+(Subscript[x, 2]) (Subscript[ξ, 2])+(((Subscript[x, 2]) (Subscript[ξ, 4]))/(Subscript[𝒜, 2])),1]]

t1//t2

$k=3;(Subscript[P, i,j])//LogE

$k=3;(Subscript[aS, i])//LogE

$k=3;(Subscript[(OverBar[aS]), i])//LogE

$k=1; (Subscript[dS, 1])//LogE

$k=1; (Subscript[(OverBar[dS]), 1])//LogE

(Subscript[dm, 1,2->3])

(Subscript[dm, 1,2->3])//LogE

(Subscript[(OverBar[dS]), 1])//(Subscript[dS, 1])

Timing[Block[{$k=3},
HL/@{((Subscript[dΔ, 1->1,2])//(Subscript[dΔ, 2->2,3]))≡((Subscript[dΔ, 1->1,3])//(Subscript[dΔ, 1->1,2])),((Subscript[dm, 1,2->1])//(Subscript[dm, 1,3->1]))≡((Subscript[dm, 2,3->2])//(Subscript[dm, 1,2->1]))}]
]

Timing@Block[{$k=1},Z[Knot[8,17]]//LogE]

Timing@Block[{$k=2},Z[Knot[8,17]]//LogE]

Timing@Block[{$k=3},Z[Knot[3,1]]//LogE]

Timing@Block[{$k=3},Z[Knot[8,17]]//LogE]