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

Rl[a_,b_]:= El[⟨a->LS[0], b->LS[LW@a]⟩, CWS[0]];
iRl[a_,b_]:= El[⟨a->LS[0], b->-LS[LW@a]⟩, CWS[0]];
Rs[a_,b_]:= Es[⟨a->LS[0], b->LS[LW@a]⟩, CWS[0]];
iRs[a_,b_]:= Es[⟨a->LS[0], b->-LS[LW@a]⟩, CWS[0]];

lhs=Rs[1,2]**Rs[1,3]**Rs[2,3]; rhs=Rs[2,3]**Rs[1,3]**Rs[1,2];
{lhs@{3}, (lhs≡rhs)@{5}}

x=LW["x"]; y=LW["y"]; z=LW["z"];
α=LS[{x,y}, αs]; β=LS[{x,y}, βs];γ=CWS[{x,y}, γs];
(Subscript[V, 0])=Es[⟨x->α, y->β⟩, γ];

(Subscript[V, 0])

(Rs[x,z] // dΔ[x,x,y])

(Subscript[V, 0])**(Rs[x,z] // dΔ[x,x,y])

κ=CWS[{x}, κs]; Cap=Es[⟨x->LS[0]⟩,κ];

R4Eqn=(Subscript[V, 0])**(Rs[x,z] // dΔ[x,x,y]) ≡ Rs[y,z]**Rs[x,z]**(Subscript[V, 0]) ;UnitarityEqn=(Subscript[V, 0])**((Subscript[V, 0])//dA) ≡ Es[⟨x->LS[0], y->LS[0]⟩,CWS[0]];
CapEqn=((Subscript[V, 0])**(Cap//dΔ[x,x,y])//dc[x]//dc[y]) ≡ (Cap(Cap//dσ[x,y])//dc[x]//dc[y]);

R4Eqn