Startup

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

$k=1; (*ℏ=γ=1;*)

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

(Subscript[ba, i_]):=(Subscript[sΥ, i->-1,-1,1,1])//(Subscript[aΔ, 1->1,2])//(Subscript[aΔ, 2->2,3])//(Subscript[(OverBar[aS]), 3])//(Subscript[bΔ, -1->-1,-2])//(Subscript[bΔ, -2->-2,-3])//(Subscript[P, -1,3])//(Subscript[P, -3,1])//(Subscript[sm, -2,2->i])

(Subscript[ba, i])

HL[(Subscript[dm, i,j->k])≡(((Subscript[sΥ, i->2,2,1,1])(Subscript[sΥ, j->-1,-1,-2,-2]))//(Subscript[sm, -1,1->0])//(Subscript[ba, 0])//(Subscript[sΥ, 0->-1,-1,1,1])//((Subscript[am, 1,-2->k])(Subscript[bm, 2,-1->k])))]

(Subscript[ba, i_,j_]):=(((Subscript[sΥ, i->i,i,0,0])//(Subscript[sη, 0]))((Subscript[sΥ, j->0,0,j,j])//(Subscript[sη, 0])))//(Subscript[sm, i,j->0])//(Subscript[ba, 0])//(Subscript[sΥ, 0->i,i,j,j]);
(Subscript[ba, i,j])

(Subscript[bm, i1,i2->i])//(Subscript[ba, i,j])

(Subscript[ba, i1,j])//(Subscript[ba, i2,j])//(Subscript[bm, i1,i2->i])

HL[((Subscript[bm, i1,i2->i])//(Subscript[ba, i,j]))≡((Subscript[ba, i1,j])//(Subscript[ba, i2,j])//(Subscript[bm, i1,i2->i]))]