(* ::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.                                                         *)
(************************************************************************)



(* ::Input::Initialization:: *)
SetDirectory["C:\\drorbn\\AcademicPensieve\\People\\Kuno"];
<<FreeLie.m
<<AwCalculus.m
<< FAA.m
<< EmergentChordDiagrams.m


(* ::Input::Initialization:: *)
\[CapitalPhi]0s[2,1]=\[CapitalPhi]0s[3,1]=\[CapitalPhi]0s[3,2]=0;\[CapitalPhi]0s[3,1,2]=1/24; Subscript[\[CapitalPhi], 0]=DKS[3, \[CapitalPhi]0s];
SeriesSolve[Subscript[\[CapitalPhi], 0], Subscript[\[CapitalPhi], 0]^\[Sigma][3,2,1]\[Congruent]-Subscript[\[CapitalPhi], 0] && Subscript[\[CapitalPhi], 0]**Subscript[\[CapitalPhi], 0]^\[Sigma][1,23,4]**Subscript[\[CapitalPhi], 0]^\[Sigma][2,3,4]\[Congruent]Subscript[\[CapitalPhi], 0]^\[Sigma][12,3,4]**Subscript[\[CapitalPhi], 0]^\[Sigma][1,2,34]];
\[CurlyPhi][n_]:=Sum[Subscript[\[CapitalPhi], 0][k], {k,n}][[2]]


(* ::Input::Initialization:: *)
Subscript[AWExp, d_][\[ScriptCapitalL]_]:=Module[{t=AW[]},
AW[]+Sum[t=Expand[t**\[ScriptCapitalL]/k]/.a_AW/;Length[a]>d:>0,{k,d}]
]


(* ::Input::Initialization:: *)
Subscript[\[CapitalPhi], em,d_]:=Subscript[\[CapitalPhi], em,d]=Subscript[\[DoubleStruckCapitalO], AR,{x,y},{1}][Subscript[\[ScriptCapitalA], 0][Subscript[AWExp, d][\[Iota][\[CurlyPhi][d]]]/.aw_AW:>Subscript[AW, 1]@@(aw/.{1->x,2->y})]]


(* ::Input::Initialization:: *)
Pent[d_]:=Subscript[IM, d][Subscript[\[CapitalPhi], em,d]//Subscript[s\[Eta], 2], Subscript[\[CapitalPhi], em,d]//Subscript[s\[Sigma], 1->2]//Subscript[p\[CapitalDelta], y->y,z]//Subscript[p2s, z->1],Subscript[\[CapitalPhi], em,d]//Subscript[s\[Sigma], 1->2]//Subscript[p2s, y->1]//Subscript[p\[Sigma], x->y]//Subscript[p\[Eta], x]]===Subscript[IM, d][Subscript[\[CapitalPhi], em,d]//Subscript[s\[Sigma], 1->2]//Subscript[p2s, y->1]//Subscript[p\[CapitalDelta], x->x,y],Subscript[\[CapitalPhi], em,d]//Subscript[s\[CapitalDelta], 1->1,2]]


(* ::Input::Initialization:: *)
Subscript[\[CapitalPhi], HR,d_]:=Subscript[\[CapitalPhi], HR,d]=Subscript[\[DoubleStruckCapitalO], HR,{x,y},{1}][Subscript[\[ScriptCapitalA], 0][Subscript[AWExp, d][\[Iota][\[CurlyPhi][d]]]/.aw_AW:>Subscript[AW, 1]@@(aw/.{1->x,2->y})]]


(* ::Input::Initialization:: *)
Subscript[Pent, HR][d_]:=Subscript[IM, d][Subscript[\[CapitalPhi], HR,d]//Subscript[s\[Eta], 2], Subscript[\[CapitalPhi], HR,d]//Subscript[s\[Sigma], 1->2]//Subscript[p\[CapitalDelta], y->y,z]//Subscript[p2s, z->1],Subscript[\[CapitalPhi], HR,d]//Subscript[s\[Sigma], 1->2]//Subscript[p2s, y->1]//Subscript[p\[Sigma], x->y]//Subscript[p\[Eta], x]]===Subscript[IM, d][Subscript[\[CapitalPhi], HR,d]//Subscript[s\[Sigma], 1->2]//Subscript[p2s, y->1]//Subscript[p\[CapitalDelta], x->x,y],Subscript[\[CapitalPhi], HR,d]//Subscript[s\[CapitalDelta], 1->1,2]]



