Pensieve header: The linearized KV and twist equations.

SetDirectory["C:/drorbn/AcademicPensieve/Projects/WKO4"];
<< FreeLie.m;
{A1=LS[{x,y}, A1s], B1=LS[{x,y}, B1s]};
msgs1=SeriesSolve[{A1,B1},
(ℏ^(-1))(b[LW@x, A1]+b[LW@y,B1] ≡ LS[0])∧((Subscript[div, x])[A1]+(Subscript[div, y])[B1]≡CWS[0])∧(A1 ≡ (B1 // LieMorphism[x->y, y->x]))];
Do[A1[k]; Print[{k, msgs1//Read//Last//Last//Length, TimeUsed[], MaxMemoryUsed[]}], {k, 16}]
A1@16; Length[Last[#]]& /@ Read[msgs1]

SetDirectory["C:/drorbn/AcademicPensieve/Projects/WKO4"];
<< FreeLie.m;
{A1=LS[{x,y}, A1s], B1=A1 // LieMorphism[x->y, y->x]};
msgs1=SeriesSolve[A1,
(ℏ^(-1))(b[LW@x, A1]+b[LW@y,B1] ≡ LS[0])∧((Subscript[div, x])[A1]+(Subscript[div, y])[B1]≡CWS[0])];
Do[A1[k]; Print[{k, msgs1//Read//Last//Last//Length, TimeUsed[], MaxMemoryUsed[]}], {k, 16}]
A1@16; Length[Last[#]]& /@ Read[msgs1]