(* ::Package:: *)

(************************************************************************)
(* This file was generated automatically by the Mathematica front end.  *)
(* It contains Initialization cells from a Notebook file, which         *)
(* typically will have the same name as this file except ending in      *)
(* ".nb" instead of ".m".                                               *)
(*                                                                      *)
(* This file is intended to be loaded into the Mathematica kernel using *)
(* the package loading commands Get or Needs.  Doing so is equivalent   *)
(* to using the Evaluate Initialization Cells menu command in the front *)
(* end.                                                                 *)
(*                                                                      *)
(* DO NOT EDIT THIS FILE.  This entire file is regenerated              *)
(* automatically each time the parent Notebook file is saved in the     *)
(* Mathematica front end.  Any changes you make to this file will be    *)
(* overwritten.                                                         *)
(************************************************************************)



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


\[CapitalPhi]s[2,1]=\[CapitalPhi]s[3,1]=\[CapitalPhi]s[3,2]=0;\[CapitalPhi]s[3,1,2]=1/24; \[CapitalPhi]=DKS[3, \[CapitalPhi]s];
SeriesSolve[\[CapitalPhi], (\[CapitalPhi]^\[Sigma][3,2,1]\[Congruent]-\[CapitalPhi])\[And](\[CapitalPhi]**\[CapitalPhi]^\[Sigma][1,23,4]**\[CapitalPhi]^\[Sigma][2,3,4]\[Congruent]\[CapitalPhi]^\[Sigma][12,3,4]**\[CapitalPhi]^\[Sigma][1,2,34])];
\[CapitalPhi]@{6}


\[Alpha]Map[S_List][dks_DKSeries] := Sum[
LieMorphism[
Table[
LW@S[[i]] -> AngleBracket@@Table[
S[[j]]->LS[Switch[j,
i, LW@S[[k]],
k, LW@S[[i]],
 _, 0
]],
 {j, Length[S]}],
{i,k-1}
],
AngleBracket@@S, tb
][Subscript[dks, S[[k]]]],
{k,2,Length[S]}
]



