Pensieve header: The non-existence of null twists in Aw.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2016-11"];
<< ../Projects/WKO4/FreeLie.m;
<< ../Projects/WKO4/AwCalculus.m;
$SeriesShowDegree=2;

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

msgs=SeriesSolve[{α, β,γ}, F**(F//dσ[y,z]//dΔ[x,x,y])≡(F//dσ[{x,y}->{y,z}])**(F//dΔ[y,y,z])];
F@{4}

F**(F//dσ[y,z]//dΔ[x,x,y])

(F//dσ[{x,y}->{y,z}])**(F//dΔ[y,y,z])

F1=Es[⟨x->LS[0],y->LS[x]⟩, CWS[0]];
F1@{4}

(F1//dσ[{x,y}->{y,z}])@{3}

(F1//dΔ[y,y,z])@{3}

t1=(F1//dσ[{x,y}->{y,z}])**(F1//dΔ[y,y,z])

t1@{3}

Λ[t1]@{4}

t2=(F1//dΔ[y,y,z])**(F1//dσ[{x,y}->{y,z}])

(t1≡t2)@{6}

F2=Λ[F1]

t3=(F2//dσ[{x,y}->{y,z}])**(F2//dΔ[y,y,z])