Pensieve header: Misguided triality, continuing TrialityComputations.nb at pensieve://2013-11/DoubleTree/.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\WKO4"];
<< WKO4.m

(Subscript[ρ, 3])[ζ_Es] := ζ // dS[y] // dΔ[y,y,z] // dm[x,z,x] // dσ[{x,y}->{y,x}];
(Subscript[V, 0]) // (Subscript[ρ, 3])

(Subscript[V, 0])@{5}

(Subscript[V, 0]) // (Subscript[ρ, 3])// (Subscript[ρ, 3])// (Subscript[ρ, 3])

θ[x_,s_] := Module[{y}, Θs[x,y,s] // dm[x,y,x]];
θ[1,1]@{12}

FindSequenceFunction[{(1/2),(1/12),(1/45),(17/2520),(31/14175)}]

(Subscript[V, pp])=((Subscript[V, 0])**Θs[x,y,-1/2])θ[z,-1/4] // dm[y,z,y] // (Subscript[ρ, 3]) // (Subscript[ρ, 3])

((Subscript[V, 0])//dA[x,y])**(Subscript[V, pp])

(((Subscript[V, 0])//dA[x,y])**(Subscript[V, pp])**(Cap**Cap //dΔ[x,x,y]))@{6}

((Subscript[V, 0])[[2]]+((2Cp // tσ[x,y])-4Cp+DegreeScale[1/2][4Cp]))@{8}

((Subscript[V, pp])**(Cap**Cap //dΔ[x,x,y]))[[2]]@{8}

Cp=Cap[[2]]

((2Cp // tσ[x,y])-4Cp+DegreeScale[1/2][4Cp])@{8}

((Subscript[V, 0])//dA[x,y])**(Subscript[V, pp])**(Cap**Cap //dΔ[x,x,y])