(* ::Package:: *)

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

(* ::Input::Initialization:: *)
SetDirectory["C:\\drorbn\\AcademicPensieve\\Talks\\Bonn-2505"];
Once[<<"IType(SimplifiedFormatting).m"];


(* ::Input::Initialization:: *)
CCF[\[ScriptCapitalE]_] := ExpandDenominator@ExpandNumerator@Together[\[ScriptCapitalE]]; 
CCF[\[ScriptCapitalE]_] := Factor[\[ScriptCapitalE]];
CF[\[ScriptCapitalE]_List]:=CF/@\[ScriptCapitalE];
CF[\[ScriptCapitalE]_\[Epsilon]Series]:=CF/@Take[\[ScriptCapitalE],$k+1];
CF[\[ScriptCapitalE]_] :=Module[{F},Expand@Collect[\[ScriptCapitalE],\[Epsilon]|Subscript[(p|x|\[Pi]|\[Xi]|g), __],F]/.F->CCF];
CF[\[ScriptCapitalE]_\[DoubleStruckCapitalE]]:=CF/@\[ScriptCapitalE]; 
CF[Subscript[\[DoubleStruckCapitalE], sp___][\[ScriptCapitalE]s___]]:=CF/@Subscript[\[DoubleStruckCapitalE], sp][\[ScriptCapitalE]s];


(* ::Input::Initialization:: *)
Subscript[\[ScriptCapitalL], i_][K_]:=CF[Subscript[\[ScriptCapitalL], i]/@Features[K][[2]]]
vs[K_]:=Flatten@Table[{Subscript[p, \[Nu],i],Subscript[x, \[Nu],i]},{\[Nu],3},{i,Features[K][[1]]}]


(* ::Input::Initialization:: *)
{SuperStar[p],SuperStar[x],SuperStar[\[Pi]],SuperStar[\[Xi]]}={\[Pi],\[Xi],p,x}; 
SuperStar[(vs_List)]:=(v|->SuperStar[v])/@vs;
SuperStar[(Subscript[u_, \[Nu]i__])]:=Subscript[(SuperStar[u]), \[Nu]i];


(* ::Input::Initialization:: *)
HL[\[ScriptCapitalE]_] := Style[\[ScriptCapitalE], Background -> If[TrueQ@\[ScriptCapitalE],RGBColor[Rational[1, 3], 1, Rational[1, 3]],RGBColor[1, 0.5, 0.5]]];


(* ::Input::Initialization:: *)
g2px[\[ScriptCapitalE]_]:=CF@Module[{\[Lambda]},Expand[\[ScriptCapitalE]/.{Subscript[g, i_,j_]:>\[Lambda] Subscript[p, i] Subscript[x, j]}]/.{\[Lambda]^k_.:>1/k!}]
g\[Nu]2px[\[ScriptCapitalE]_]:=CF@Module[{\[Lambda]},Expand[\[ScriptCapitalE]/.{Subscript[g, \[Nu]_,i_,j_]:>Subscript[\[Lambda], \[Nu]] Subscript[p, \[Nu],i] Subscript[x, \[Nu],j]}]/.{\!\(
\*SubsuperscriptBox[\(\[Lambda]\), \(_\), \(k_.\)] :> \(1/\(k!\)\)\)}]


(* ::Input::Initialization:: *)
\!\(\*SubscriptBox[\(Zip\), \({}\)]\)[\[ScriptCapitalE]_]:=\[ScriptCapitalE];
\!\(\*SubscriptBox[\(Zip\), \({\[Zeta]_, \[Zeta]s___}\)]\)[\[ScriptCapitalE]_] := (Collect[\[ScriptCapitalE]//\!\(\*SubscriptBox[\(Zip\), \({\[Zeta]s}\)]\),\[Zeta]] /. f_. \[Zeta]^d_.:>(D[f,{SuperStar[\[Zeta]],d}]))/.SuperStar[\[Zeta]]->0


(* ::Input::Initialization:: *)
px2g[\[ScriptCapitalE]_]:=CF@Module[{ps,xs,Q,\[Alpha],\[Beta]},
ps=Union[Cases[\[ScriptCapitalE],Subscript[p, _],\[Infinity]]]; xs=Union[Cases[\[ScriptCapitalE],Subscript[x, _],\[Infinity]]];
Q=Sum[SuperStar[p0] SuperStar[x0] Subscript[g, p0[[2]],x0[[2]]],{p0,ps},{x0,xs}];
Expand[Subscript[Zip, ps\[Union]xs][\[ScriptCapitalE] E^Q]]
]
px\[Nu]2g[\[ScriptCapitalE]_]:=CF@Module[{ps,xs,Q,\[Alpha],\[Beta]},
ps=Union[Cases[\[ScriptCapitalE],Subscript[p, __],\[Infinity]]]; xs=Union[Cases[\[ScriptCapitalE],Subscript[x, __],\[Infinity]]];
Q=Sum[SuperStar[p0] SuperStar[x0] Subscript[g, p0[[2]],x0[[2]],p0[[3]],x0[[3]]],{p0,ps},{x0,xs}];
Expand[Subscript[Zip, ps\[Union]xs][\[ScriptCapitalE] E^Q]/.Subscript[g, \[Alpha]_,\[Beta]_,i_,j_]:>If[\[Alpha]===\[Beta],Subscript[g, \[Alpha],i,j],0]]
]


(* ::Input::Initialization:: *)
Subscript[gR, s_,i_,j_]:={
Subscript[g, j\[InvisibleComma]\[Beta]_]:>Subscript[g, SuperPlus[j]\[InvisibleComma]\[Beta]]+Subscript[\[Delta], j\[InvisibleComma]\[Beta]],Subscript[g, i\[InvisibleComma]\[Beta]_]:>T^s Subscript[g, SuperPlus[i]\[InvisibleComma]\[Beta]]+(1-T^s)Subscript[g, SuperPlus[j]\[InvisibleComma]\[Beta]]+Subscript[\[Delta], i\[InvisibleComma]\[Beta]],
Subscript[g, \[Alpha]_\[InvisibleComma]SuperPlus[i]]:>T^s Subscript[g, \[Alpha]\[InvisibleComma]i]+Subscript[\[Delta], \[Alpha]\[InvisibleComma]SuperPlus[i]],Subscript[g, \[Alpha]_\[InvisibleComma]SuperPlus[j]]:>Subscript[g, \[Alpha]\[InvisibleComma]j]+(1-T^s)Subscript[g, \[Alpha]\[InvisibleComma]i]+Subscript[\[Delta], \[Alpha]\[InvisibleComma]SuperPlus[j]],
Subscript[g, \[Nu]_\[InvisibleComma]j\[InvisibleComma]\[Beta]_]:>Subscript[g, \[Nu]\[InvisibleComma]SuperPlus[j]\[InvisibleComma]\[Beta]]+Subscript[\[Delta], j\[InvisibleComma]\[Beta]],Subscript[g, \[Nu]_\[InvisibleComma]i\[InvisibleComma]\[Beta]_]:>\!\(
\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(s\)] 
\*SubscriptBox[\(g\), \(\[Nu]\[InvisibleComma]
\*SuperscriptBox[\(i\), \(+\)]\[InvisibleComma]\[Beta]\)]\)+(1-\!\(\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(s\)]\))Subscript[g, \[Nu]\[InvisibleComma]SuperPlus[j]\[InvisibleComma]\[Beta]]+Subscript[\[Delta], i\[InvisibleComma]\[Beta]],
Subscript[g, \[Nu]_\[InvisibleComma]\[Alpha]_\[InvisibleComma]SuperPlus[i]]:>\!\(
\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(s\)] 
\*SubscriptBox[\(g\), \(\[Nu]\[InvisibleComma]\[Alpha]\[InvisibleComma]i\)]\)+Subscript[\[Delta], \[Alpha]\[InvisibleComma]SuperPlus[i]],Subscript[g, \[Nu]_\[InvisibleComma]\[Alpha]_\[InvisibleComma]SuperPlus[j]]:>Subscript[g, \[Nu]\[InvisibleComma]\[Alpha]\[InvisibleComma]j]+(1-\!\(\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(s\)]\))Subscript[g, \[Nu]\[InvisibleComma]\[Alpha]\[InvisibleComma]i]+Subscript[\[Delta], \[Alpha]\[InvisibleComma]SuperPlus[j]]
}
Subscript[gR, i_]:={Subscript[g, i,\[Beta]_]:>Subscript[g, SuperPlus[i],\[Beta]]+Subscript[\[Delta], i,\[Beta]],Subscript[g, \[Alpha]_,SuperPlus[i]]:>Subscript[g, \[Alpha],i]+Subscript[\[Delta], \[Alpha],SuperPlus[i]],
Subscript[g, \[Nu]_,i,\[Beta]_]:>Subscript[g, \[Nu],SuperPlus[i],\[Beta]]+Subscript[\[Delta], i,\[Beta]],Subscript[g, \[Nu]_,\[Alpha]_,SuperPlus[i]]:>Subscript[g, \[Nu],\[Alpha],i]+Subscript[\[Delta], \[Alpha],SuperPlus[i]]
}


(* ::Input::Initialization:: *)
Subscript[igR, s_,i_,j_]:={
Subscript[g, SuperPlus[j],\[Beta]_]:>Subscript[g, j,\[Beta]]-Subscript[\[Delta], j,\[Beta]], Subscript[g, SuperPlus[i],\[Beta]_]:>T^-s Subscript[g, i\[InvisibleComma]\[Beta]]-(T^-s-1)Subscript[g, SuperPlus[j]\[InvisibleComma]\[Beta]]-T^-s Subscript[\[Delta], i\[InvisibleComma]\[Beta]],
Subscript[g, \[Alpha]_,i]:>T^-s (Subscript[g, \[Alpha],SuperPlus[i]]-Subscript[\[Delta], \[Alpha],SuperPlus[i]]),Subscript[g, \[Alpha]_,j]:>Subscript[g, \[Alpha],SuperPlus[j]]-(1-T^s)Subscript[g, \[Alpha],i]-Subscript[\[Delta], \[Alpha],SuperPlus[j]],
Subscript[g, \[Nu]_,SuperPlus[j],\[Beta]_]:>Subscript[g, \[Nu],j,\[Beta]]-Subscript[\[Delta], j,\[Beta]], Subscript[g, \[Nu]_,SuperPlus[i],\[Beta]_]:>\!\(
\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(-s\)] 
\*SubscriptBox[\(g\), \(\[Nu]\[InvisibleComma]i\[InvisibleComma]\[Beta]\)]\)-(\!\(
\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(-s\)] - 1\))Subscript[g, \[Nu]\[InvisibleComma]SuperPlus[j]\[InvisibleComma]\[Beta]]-\!\(
\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(-s\)] 
\*SubscriptBox[\(\[Delta]\), \(i\[InvisibleComma]\[Beta]\)]\),
Subscript[g, \[Nu]_,\[Alpha]_,i]:>\!\(
\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(-s\)] \((
\*SubscriptBox[\(g\), \(\[Nu], \[Alpha], 
\*SuperscriptBox[\(i\), \(+\)]\)] - 
\*SubscriptBox[\(\[Delta]\), \(\[Alpha], 
\*SuperscriptBox[\(i\), \(+\)]\)])\)\),Subscript[g, \[Nu]_,\[Alpha]_,j]:>Subscript[g, \[Nu],\[Alpha],SuperPlus[j]]-(1-\!\(\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(s\)]\))Subscript[g, \[Nu],\[Alpha],i]-Subscript[\[Delta], \[Alpha],SuperPlus[j]]
}


(* ::Input::Initialization:: *)
Subscript[T, 3]=Subscript[T, 1] Subscript[T, 2];  SuperPlus[i_]:=i+1;
$\[Pi]=(CF@Normal[#+O[\[Epsilon]]^2]/. {Subscript[\[Pi], is__]:>B^-1 Subscript[\[Pi], is],Subscript[x, is__]:>B^-1 Subscript[x, is],Subscript[p, is__]:>B Subscript[p, is]}/.\[Epsilon] B^b_/;b<0->0/.B->1)&;


(* ::Input::Initialization:: *)
Subscript[\[ScriptCapitalL], 1][Subscript[X, i_,j_][s_]]:=\!\(
\*SubsuperscriptBox[\(T\), \(3\), \(s\)] \(\[DoubleStruckCapitalE][CF@Plus[\[IndentingNewLine]
\*SubsuperscriptBox[\(\[Sum]\), \(\[Nu] = 1\), \(3\)]\((
\*SubscriptBox[\(x\), \(\[Nu]\[InvisibleComma]i\)] \((
\*SubscriptBox[\(p\), \(\[Nu]\[InvisibleComma]
\*SuperscriptBox[\(i\), \(+\)]\)] - 
\*SubscriptBox[\(p\), \(\[Nu]\[InvisibleComma]i\)])\) + 
\*SubscriptBox[\(x\), \(\[Nu]\[InvisibleComma]j\)] \((
\*SubscriptBox[\(p\), \(\[Nu]\[InvisibleComma]
\*SuperscriptBox[\(j\), \(+\)]\)] - 
\*SubscriptBox[\(p\), \(\[Nu]\[InvisibleComma]j\)])\) + \((
\*SubsuperscriptBox[\(T\), \(\[Nu]\), \(s\)] - 1)\) 
\*SubscriptBox[\(x\), \(\[Nu]\[InvisibleComma]i\)] \((
\*SubscriptBox[\(p\), \(\[Nu]\[InvisibleComma]
\*SuperscriptBox[\(i\), \(+\)]\)] - 
\*SubscriptBox[\(p\), \(\[Nu]\[InvisibleComma]
\*SuperscriptBox[\(j\), \(+\)]\)])\))\), \[IndentingNewLine]\((
\*SubsuperscriptBox[\(T\), \(1\), \(s\)] - 1)\) 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(1\[InvisibleComma]i\)] \((
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]i\)] - 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]j\)])\), \[IndentingNewLine]\[Epsilon]\ s \((
\*SubsuperscriptBox[\(T\), \(3\), \(s\)] - 1)\) 
\*SubscriptBox[\(p\), \(1\[InvisibleComma]j\)] \((
\*SubscriptBox[\(p\), \(2\[InvisibleComma]i\)] - 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)])\) 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]i\)]/\((
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] - 1)\), \[IndentingNewLine]\[Epsilon]\ s \((1/2 + 
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] 
\*SubscriptBox[\(p\), \(1\[InvisibleComma]i\)] 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(1\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]i\)] - 
\*SubscriptBox[\(p\), \(1\[InvisibleComma]i\)] 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(1\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]j\)] - 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]i\)] - \((
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] - 1)\) 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]i\)] + \((
\*SubsuperscriptBox[\(T\), \(3\), \(s\)] - 1)\) 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]i\)] + 2\ 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]i\)] + 
\*SubscriptBox[\(p\), \(1\[InvisibleComma]i\)] 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(1\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]j\)] - 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]i\)] 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]j\)] - 
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]j\)] + \((\((
\*SubsuperscriptBox[\(T\), \(1\), \(s\)] - 1)\) 
\*SubscriptBox[\(p\), \(1\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(1\[InvisibleComma]i\)] \((
\*SubsuperscriptBox[\(T\), \(2\), \(2  s\)] 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]i\)] - 
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]j\)] - \((
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] + 1)\) \((
\*SubsuperscriptBox[\(T\), \(3\), \(s\)] - 1)\) 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]i\)] + 
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]j\)])\) + \((
\*SubsuperscriptBox[\(T\), \(3\), \(s\)] - 1)\) 
\*SubscriptBox[\(p\), \(3\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]i\)] \((1 - 
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] 
\*SubscriptBox[\(p\), \(1\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(1\[InvisibleComma]i\)] + 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]j\)] + \((
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] - 2)\) 
\*SubscriptBox[\(p\), \(2\[InvisibleComma]j\)] 
\*SubscriptBox[\(x\), \(2\[InvisibleComma]j\)])\))\)/\((
\*SubsuperscriptBox[\(T\), \(2\), \(s\)] - 1)\))\)]]\)\)
Subscript[\[ScriptCapitalL], 1][Subscript[C, i_][\[CurlyPhi]_]]:=\!\(
\*SubsuperscriptBox[\(T\), \(3\), \(\[CurlyPhi]\)] \(\[DoubleStruckCapitalE][
\*SubsuperscriptBox[\(\[Sum]\), \(\[Nu] = 1\), \(3\)]
\*SubscriptBox[\(x\), \(\[Nu]\[InvisibleComma]i\)] \((
\*SubscriptBox[\(p\), \(\[Nu]\[InvisibleComma]
\*SuperscriptBox[\(i\), \(+\)]\)] - 
\*SubscriptBox[\(p\), \(\[Nu]\[InvisibleComma]i\)])\) + \[Epsilon]\ \[CurlyPhi] \((
\*SubscriptBox[\(p\), \(3\[InvisibleComma]i\)] 
\*SubscriptBox[\(x\), \(3\[InvisibleComma]i\)] - 1/2)\)]\)\)


(* ::Input::Initialization:: *)
\[ScriptCapitalF][is__]:=\[DoubleStruckCapitalE][Sum[Subscript[\[Pi], \[Nu],i] Subscript[p, \[Nu],i],{i,{is}}, {\[Nu],3}]];
Subscript[vs, i_]:=Sequence[Subscript[p, 1,i],Subscript[p, 2,i],Subscript[p, 3,i],Subscript[x, 1,i],Subscript[x, 2,i],Subscript[x, 3,i]];


(* ::Input::Initialization:: *)
pPush[\[Omega]_. \[DoubleStruckCapitalE][L_]]:=Module[{B,L1,Q,P0,P1a,P1b,\[Theta]0},
L1=CoefficientRules[B L/.{Subscript[p, \[Alpha]\[Beta]__]:>B Subscript[p, \[Alpha]\[Beta]],Subscript[x, \[Alpha]\[Beta]__]:>B^-1 Subscript[x, \[Alpha]\[Beta]]},{\[Epsilon],B}];
{\[Omega],Q={0,1}/.L1, P0={0,0}/.L1, P1a={1,2}/.L1, P1b={1,1}/.L1};
\[Theta]0=CF[
px\[Nu]2g[CF[(P0/.Thread[{s,i,j}->{s0,i0,j0}])(P1a/.Thread[{s,i,j}->{s1,i1,j1}])
]]/.Subscript[gR, s0,i0,j0]/.Subscript[gR, s1,i1,j1]/.{Subscript[\[Delta], j1,i0]|Subscript[\[Delta], j0,i1]|Subscript[\[Delta], i1,j0]->0,Subscript[\[Delta], i1,i0]|Subscript[\[Delta], j1,j0]->B}
];
\[Theta]1=List@@Factor[g\[Nu]2px[\[Theta]0/.B->0]];
{Y0,Y1}={Times@@Select[\[Theta]1,FreeQ[s1|i1|j1]],Times@@Select[\[Theta]1,FreeQ[s0|i0|j0]]}/.{s0|s1->s,i0|i1->i,j0|j1->j};
Times@@\[Theta]1==Y0 Y1;
deg\[Theta]=g\[Nu]2px[Coefficient[\[Theta]0,B]/.{s0|s1->s,i0|i1->i,j0|j1->j}];
\[Omega] \[DoubleStruckCapitalE][CF@Plus[
Q,Y0,\[Epsilon] Y1, \[Epsilon] deg\[Theta],
\[Epsilon] g\[Nu]2px[px\[Nu]2g[P1b]/.Subscript[gR, s,i,j]/.{Subscript[\[Delta], i,j]|Subscript[\[Delta], j,i]->0,Subscript[\[Delta], i,i]|Subscript[\[Delta], j,j]->1}]
]]
];
pPush@Subscript[\[ScriptCapitalL], 1][Subscript[X, i,j][s]]


(* ::Input::Initialization:: *)
Subscript[\[ScriptCapitalL], pPush][Subscript[X, i_,j_][s_]]=pPush@Subscript[\[ScriptCapitalL], 1][Subscript[X, i,j][s]];
Subscript[\[ScriptCapitalL], pPush][Subscript[C, i_][\[CurlyPhi]_]]:=\!\(
\*SubsuperscriptBox[\(T\), \(3\), \(\[CurlyPhi]\)] \(\[DoubleStruckCapitalE][Sum[
\*SubscriptBox[\(x\), \(\[Nu], i\)] \((
\*SubscriptBox[\(p\), \(\[Nu], i + 1\)] - 
\*SubscriptBox[\(p\), \(\[Nu], i\)])\), {\[Nu], 3}] + \[Epsilon]\ \[CurlyPhi]\ \((
\*FractionBox[\(1\), \(2\)] + 
\*SubscriptBox[\(p\), \(3, i + 1\)]\ 
\*SubscriptBox[\(x\), \(3, i\)])\)]\)\);
$\[ScriptCapitalL]=Subscript[\[ScriptCapitalL], pPush];


(* ::Input::Initialization:: *)
\[ScriptCapitalF][is__]:=\[DoubleStruckCapitalE][Sum[Subscript[\[Pi], \[Nu],i] Subscript[p, \[Nu],i],{i,{is}}, {\[Nu],3}]];
Subscript[vs, i_]:=Sequence[Subscript[p, 1,i],Subscript[p, 2,i],Subscript[p, 3,i],Subscript[x, 1,i],Subscript[x, 2,i],Subscript[x, 3,i]];



