Pensieve header: The $sl_2^{(k)}$ program (aborted).

SetDirectory["C:\\drorbn\\AcademicPensieve\\2017-08"];

𝔼[ω,L,Q,P] stands for (ω^(-1))(e^(L+(ω^(-1))Q+))

CF[ℰ_] := Module[{vars=Union@Cases[ℰ,(Subscript[y, _])|(Subscript[a, _])|(Subscript[x, _]),∞]},
If[vars==={}, Factor[ℰ],
Total[CoefficientRules[ℰ, vars]/. (p_->c_):>Factor[c]Times@@((vars^p))] ]];
CF[ℰ_𝔼] :=CF/@ℰ;

𝔼[i_,j_,s_] := 𝔼[1,(((-1))^s)(Subscript[l, j]), (((-t))^s)(Subscript[e, i])(Subscript[f, j]), (t^s)(Subscript[e, i])(Subscript[l, (1+s)i-s j])(Subscript[f, j])+(((-1))^s)(Subscript[l, i])(Subscript[l, j])+(((-(t^2)))^s)(Subscript[e, i]^2)(Subscript[f, j]^2)/4];
𝔼[i_,s_] := 𝔼[1,0,0,s (Subscript[l, i])];
𝔼/:𝔼[1,L1_,Q1_,P1_]𝔼[1,L2_,Q2_,P2_]:=𝔼[1,L1+L2, Q1+ Q2,P1+P2];

(Subscript[DP, x_->(Subscript[D, α_]),y_->(Subscript[D, β_])])[P_][f_]:=
Total[CoefficientRules[P,{x,y}]/.({m_,n_}->c_):>c D[f,{α,m},{β,n}]]

(Subscript[S, (Subscript[l, j_])(Subscript[(x:e|f), i_])->k_])[𝔼[ω_,L_,Q_,P_]]:=With[{λ=(∂_(Subscript[l, j]))L,α=(∂_(Subscript[x, i]))Q,q=(E^γ)β (Subscript[x, k])+γ (Subscript[l, k])},CF[
𝔼[ω,L/.(Subscript[l, j])->(Subscript[l, k]),(t^λ)α (Subscript[x, k])+(Q/.(Subscript[x, i])->0),(E^(-q))(Subscript[DP, (Subscript[l, j])->(Subscript[D, γ]),(Subscript[x, i])->(Subscript[D, β])])[P][(E^q)]/.{β->α/ω,γ->λ Log[t]}] ]];

Λ[k_]:= ((t-1)(2(((α β+δ μ))^2)-(α^2)(β^2))-4(Subscript[e, k])(Subscript[l, k])(Subscript[f, k])(δ^2)(μ^2)-
δ(1+μ)((Subscript[f, k]^2)(α^2)+(Subscript[e, k]^2)(β^2))-(Subscript[e, k]^2)(Subscript[f, k]^2)(δ^3)(1+3μ)-2(α β+2δ μ+(Subscript[e, k])(Subscript[f, k])(δ^2)(1+2μ)+2(Subscript[l, k])δ (μ^2))((Subscript[f, k])α+(Subscript[e, k])β)-4((Subscript[l, k])(μ^2)+(Subscript[e, k])(Subscript[f, k])δ(1+μ))(α β+δ μ))(1+t)/4;

(Subscript[S, (Subscript[f, i_])(Subscript[e, j_])->k_])[𝔼[ω_,L_,Q_,P_]]:=With[{q=((1-t)α β+β (Subscript[e, k])+α (Subscript[f, k])+δ (Subscript[e, k])(Subscript[f, k]))/μ},CF[
𝔼[μ ω,L,μ ω q+μ(Q/.(Subscript[f, i])|(Subscript[e, j])->0),(μ^4)(E^(-q))(Subscript[DP, (Subscript[f, i])->(Subscript[D, α]),(Subscript[e, j])->(Subscript[D, β])])[P][(E^q)]+(ω^4)Λ[k]]/.μ->1+(t-1)δ/.{α->(ω^(-1))((∂_(Subscript[f, i]))Q/.(Subscript[e, j])->0),β->(ω^(-1))((∂_(Subscript[e, j]))Q/.(Subscript[f, i])->0),δ->(ω^(-1))(∂_((Subscript[f, i]),(Subscript[e, j])))Q}]];

(Subscript[m, i_,j_->k_])[Z_𝔼]:=Module[{x,z},
CF[(Z//(Subscript[S, (Subscript[f, i])(Subscript[e, j])->x])//(Subscript[S, (Subscript[l, i])(Subscript[e, x])->x])//(Subscript[S, (Subscript[f, x])(Subscript[l, j])->x]))/.(Subscript[z_, i|j|x])->(Subscript[z, k])]]

(Subscript[ρ, 1])[𝔼[ω_,_,_,P_]] := CF[((t((P/.(Subscript[e, _])|(Subscript[l, _])|(Subscript[f, _])->0)-t (ω^3)((∂_t)ω)))/((((t-1))^2)(ω^2)))]