Pensieve header: An attempt to verify that my AT solution solves the KV equations; continues pensieve://2013-11/.

Verifying the KV Equations

SetDirectory["C:\\drorbn\\AcademicPensieve\\2013-12"];
<< "../2013-05/FreeLie.m"
<< "../2013-05/muCalculus.m"
<< "../2013-10/WKOSolution8-0.m"

$SeriesShowDegree=5; $SeriesCompareDegree = 8;
α=MakeLieSeries[{"1","2"},αs]; β=MakeLieSeries[{"1","2"},βs];
γ=MakeCWSeries[{"1","2"},γs];
V=M[{1->α, 2->β}, MakeCWSeries[0]]