(* ::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\\2013-11\\DoubleTree"];
<< "../../2013-05/FreeLie.m"
<< "muCalculus.m"
<< "../../2013-10/WKOSolution8-1.m"
\[Alpha]=MakeLieSeries[{"1","2"},\[Alpha]s]; \[Beta]=MakeLieSeries[{"1","2"},\[Beta]s];
\[Gamma]=MakeCWSeries[{"1","2"},\[Gamma]s];
V=M[{1->\[Alpha], 2->\[Beta]}, \[Gamma]];
\[Kappa]s[d_, 1] := If[OddQ[d], 0, \[Kappa]s[d]]; \[Kappa]=MakeCWSeries[{"1"},\[Kappa]s];
Unprotect[C]; C=M[{1->MakeLieSeries[0]}, \[Kappa]];
Ci=M[{1->MakeLieSeries[0]}, -\[Kappa]];
$SeriesShowDegree=5; $SeriesCompareDegree = 6;
{V,C // dc[1]}


Vb=(C*(C//dP[2]))**V**(Ci//dP[12]);


\[CapitalPhi]=Module[{Vi=V // dA[1,2]},
(Vi//dP[12,3])**Vi**(V//dP[2,3])**(V//dP[1,23])]


\[Nu]=\[CapitalPhi] // dS[2] // dm[3,2,1,1]


ZB=(\[CapitalPhi]//dP[4,2,13])**(\[CapitalPhi]//dP[1,3,2])**\[CapitalTheta][3,2]**(\[CapitalPhi]//dP[3,2,1])**(\[CapitalPhi]//dP[12,3,4]);


VB = (ZB // t\[Eta][1] // h\[Eta][2])h\[Epsilon][2] // dm[1,2,1];
VB = (VB// t\[Eta][3] // h\[Eta][4])h\[Epsilon][4] // dm[3,4,2]



