Pensieve header: A “Bent Finger” computation for Zsuzsi.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\WKO3"];
<< "../WKO4/FreeLie.m";
<< "../WKO4/AwCalculus.m";
$SeriesShowDegree=4;

Φs[2,1]=Φs[3,1]=Φs[3,2]=0;Φs[3,1,2]=1/24; (Subscript[Φ, 0])=DKS[3, Φs];
SeriesSolve[(Subscript[Φ, 0]), (((Subscript[Φ, 0])^(σ[3,2,1]))≡-(Subscript[Φ, 0]))∧((Subscript[Φ, 0])**((Subscript[Φ, 0])^(σ[1,23,4]))**((Subscript[Φ, 0])^(σ[2,3,4]))≡((Subscript[Φ, 0])^(σ[12,3,4]))**((Subscript[Φ, 0])^(σ[1,2,34])))];
(Subscript[Φ, 0])@{6}

DK2Es[s___][ζ_] := El[ζ // αMap[s], CWS[0]] // Γ;
DK2Es[1,2,3][(Subscript[Φ, 0])]

νinv=(Subscript[Φ, 0]) //DK2Es[1,2,3] // dS[2] // dm[3,2,2] // dm[2,1,x]

BF=((DK2Es[1,2,3,4][(((-(Subscript[Φ, 0])))^(σ[12,3,4]))]//dS[2]//dS[4])**(DK2Es[1,2,3][(Subscript[Φ, 0])]//dS[2])) // dm[1,4,1]//dm[1,3,1]//dm[1,2,x]

νinv@{6}

BF@{6}