(* ::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\\Projects\\OneCo-1606"];
<< NOE-1t.m


(* ::Input::Initialization:: *)
EC0={Subscript[f, 1][x_,z_]:>1/2 (-2 Subscript[f, 6][x,z]+2 x Subscript[f, 6][x,z]+2 Subscript[f, 20][x,z]-Subscript[g, 5][x]+4 Subscript[g, 6][x]-12 x Subscript[g, 6][x]+12 x^2 Subscript[g, 6][x]-4 x^3 Subscript[g, 6][x]+Subscript[g, 8][z]),Subscript[f, 2][x_,y_]:>-Subscript[f, 9][x,y]+y Subscript[f, 9][x,y]+Subscript[f, 26][x,y]-2 y Subscript[f, 26][x,y]+y^2 Subscript[f, 26][x,y]+Subscript[g, 7][x],Subscript[f, 3][x_,z_]:>Subscript[f, 18][x,z]-2 x Subscript[f, 18][x,z]+x^2 Subscript[f, 18][x,z],Subscript[f, 4][x_,z_]:>-Subscript[f, 15][x,z]-Subscript[g, 1][z],Subscript[f, 5][x_,y_]:>Subscript[f, 26][x,y]-2 y Subscript[f, 26][x,y]+y^2 Subscript[f, 26][x,y],Subscript[f, 7][x_,z_]:>Subscript[f, 6][x,z]-x Subscript[f, 6][x,z]+Subscript[g, 9][x]+Subscript[g, 10][z],Subscript[f, 8][x_,z_]:>0,Subscript[f, 10][x_,z_]:>2 (-Subscript[f, 18][x,z]+x Subscript[f, 18][x,z]),Subscript[f, 11][x_,y_]:>-2 Subscript[f, 18][x,y]+4 x Subscript[f, 18][x,y]-2 x^2 Subscript[f, 18][x,y]-Subscript[g, 5][x],Subscript[f, 12][x_,z_]:>0,Subscript[f, 13][x_,z_]:>-Subscript[f, 23][x,z]-Subscript[g, 2][z],Subscript[f, 14][x_,z_]:>(-Subscript[f, 15][x,z]+Subscript[g, 3][z])/(-1+x),Subscript[f, 15][y_,z_]:>1/y (2-y Subscript[f, 23][y,z]+y z Subscript[f, 23][y,z]-Subscript[g, 1][y]-y Subscript[g, 1][z]-y Subscript[g, 2][z]+y z Subscript[g, 2][z]-y Subscript[g, 3][y]-Subscript[g, 5][y]+y Subscript[g, 5][y]),Subscript[f, 16][x_,z_]:>0,Subscript[f, 17][x_,z_]:>2 (-Subscript[f, 26][x,z]+z Subscript[f, 26][x,z]),Subscript[f, 18][x_,y_]:>(-Subscript[f, 19][x,y]-4 Subscript[g, 6][x]+8 x Subscript[g, 6][x]-4 x^2 Subscript[g, 6][x])/(2 (-1+x)),Subscript[f, 19][x_,y_]:>1/((-1+x) (-1+y)) (1+2 Subscript[f, 20][x,y]-2 y Subscript[f, 20][x,y]-Subscript[g, 5][x]+y Subscript[g, 5][x]-Subscript[g, 5][y]+y Subscript[g, 5][y]-4 Subscript[g, 6][y]+16 y Subscript[g, 6][y]-24 y^2 Subscript[g, 6][y]+16 y^3 Subscript[g, 6][y]-4 y^4 Subscript[g, 6][y]+y Subscript[h, 1][]),Subscript[f, 21][x_,z_]:>0,Subscript[f, 22][x_,z_]:>(-Subscript[f, 23][x,z]+Subscript[g, 4][z])/(-1+x),Subscript[f, 24][x_,z_]:>0,Subscript[f, 25][x_,z_]:>0,Subscript[g, 1][y_]:>-Subscript[g, 2][y]+y Subscript[g, 2][y]-Subscript[g, 3][y]-Subscript[g, 4][y]+y Subscript[g, 4][y]-Subscript[h, 1][],Subscript[g, 3][y_]:>1/(2 (-1+y)) (2+2 Subscript[g, 4][y]-4 y Subscript[g, 4][y]+2 y^2 Subscript[g, 4][y]-2 Subscript[g, 5][y]+2 y Subscript[g, 5][y]-8 Subscript[g, 6][y]+32 y Subscript[g, 6][y]-48 y^2 Subscript[g, 6][y]+32 y^3 Subscript[g, 6][y]-8 y^4 Subscript[g, 6][y]+Subscript[h, 1][]+y Subscript[h, 1][]),Subscript[g, 10][y_]:>1/(2 (1-2 y+y^2)) (1+Subscript[g, 5][y]-3 y Subscript[g, 5][y]+2 y^2 Subscript[g, 5][y]-4 Subscript[g, 6][y]+16 y Subscript[g, 6][y]-24 y^2 Subscript[g, 6][y]+16 y^3 Subscript[g, 6][y]-4 y^4 Subscript[g, 6][y]-2 y Subscript[g, 7][y]+2 y^2 Subscript[g, 7][y]-Subscript[g, 8][y]+y Subscript[g, 8][y]-2 Subscript[g, 9][y]+4 y Subscript[g, 9][y]-2 y^2 Subscript[g, 9][y]+y Subscript[h, 1][])};


(* ::Input::Initialization:: *)
Rp[i_,j_]:=\[DoubleStruckCapitalE][1, Subscript[b, i] Subscript[c, j],Subscript[u, i] Subscript[w, j],Subscript[c, i] Subscript[f, 1][Subscript[t, i],Subscript[t, j]]+Subscript[c, j] Subscript[f, 2][Subscript[t, i],Subscript[t, j]]+\!\(
\*SubsuperscriptBox[\(c\), \(i\), \(2\)]\ \(
\(\*SubscriptBox[\(f\), \(3\)]\)[
\*SubscriptBox[\(t\), \(i\)], 
\*SubscriptBox[\(t\), \(j\)]]\)\)+Subscript[c, i] Subscript[c, j] Subscript[f, 4][Subscript[t, i],Subscript[t, j]]+\!\(
\*SubsuperscriptBox[\(c\), \(j\), \(2\)]\ \(
\(\*SubscriptBox[\(f\), \(5\)]\)[
\*SubscriptBox[\(t\), \(i\)], 
\*SubscriptBox[\(t\), \(j\)]]\)\)+Subscript[u, i] Subscript[w, i] Subscript[f, 6][Subscript[t, i],Subscript[t, j]]+Subscript[u, i] Subscript[w, j] Subscript[f, 7][Subscript[t, i],Subscript[t, j]]+Subscript[u, j] Subscript[w, i] Subscript[f, 8][Subscript[t, i],Subscript[t, j]]+Subscript[u, j] Subscript[w, j] Subscript[f, 9][Subscript[t, i],Subscript[t, j]]+Subscript[c, i] Subscript[u, i] Subscript[w, i] Subscript[f, 10][Subscript[t, i],Subscript[t, j]]+Subscript[c, i] Subscript[u, i] Subscript[w, j] Subscript[f, 11][Subscript[t, i],Subscript[t, j]]+Subscript[c, i] Subscript[u, j] Subscript[w, i] Subscript[f, 12][Subscript[t, i],Subscript[t, j]]+Subscript[c, i] Subscript[u, j] Subscript[w, j] Subscript[f, 13][Subscript[t, i],Subscript[t, j]]+Subscript[c, j] Subscript[u, i] Subscript[w, i] Subscript[f, 14][Subscript[t, i],Subscript[t, j]]+Subscript[c, j] Subscript[u, i] Subscript[w, j] Subscript[f, 15][Subscript[t, i],Subscript[t, j]]+Subscript[c, j] Subscript[u, j] Subscript[w, i] Subscript[f, 16][Subscript[t, i],Subscript[t, j]]+Subscript[c, j] Subscript[u, j] Subscript[w, j] Subscript[f, 17][Subscript[t, i],Subscript[t, j]]+\!\(
\*SubsuperscriptBox[\(u\), \(i\), \(2\)]\ 
\*SubsuperscriptBox[\(w\), \(i\), \(2\)]\ \(
\(\*SubscriptBox[\(f\), \(18\)]\)[
\*SubscriptBox[\(t\), \(i\)], 
\*SubscriptBox[\(t\), \(j\)]]\)\)+\!\(
\*SubsuperscriptBox[\(u\), \(i\), \(2\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\*SubscriptBox[\(w\), \(j\)]\ \(
\(\*SubscriptBox[\(f\), \(19\)]\)[
\*SubscriptBox[\(t\), \(i\)], 
\*SubscriptBox[\(t\), \(j\)]]\)\)+\!\(
\*SubsuperscriptBox[\(u\), \(i\), \(2\)]\ 
\*SubsuperscriptBox[\(w\), \(j\), \(2\)]\ \(
\(\*SubscriptBox[\(f\), \(20\)]\)[
\*SubscriptBox[\(t\), \(i\)], 
\*SubscriptBox[\(t\), \(j\)]]\)\)+Subscript[u, i] Subscript[u, j] 
\!\(\*SubsuperscriptBox[\(w\), \(i\), \(2\)]\) Subscript[f, 21][Subscript[t, i],Subscript[t, j]]+Subscript[u, i] Subscript[u, j] Subscript[w, i] Subscript[w, j] Subscript[f, 22][Subscript[t, i],Subscript[t, j]]+Subscript[u, i] Subscript[u, j] 
\!\(\*SubsuperscriptBox[\(w\), \(j\), \(2\)]\) Subscript[f, 23][Subscript[t, i],Subscript[t, j]]+\!\(
\*SubsuperscriptBox[\(u\), \(j\), \(2\)]\ 
\*SubsuperscriptBox[\(w\), \(i\), \(2\)]\ \(
\(\*SubscriptBox[\(f\), \(24\)]\)[
\*SubscriptBox[\(t\), \(i\)], 
\*SubscriptBox[\(t\), \(j\)]]\)\)+\!\(
\*SubsuperscriptBox[\(u\), \(j\), \(2\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\*SubscriptBox[\(w\), \(j\)]\ \(
\(\*SubscriptBox[\(f\), \(25\)]\)[
\*SubscriptBox[\(t\), \(i\)], 
\*SubscriptBox[\(t\), \(j\)]]\)\)+\!\(
\*SubsuperscriptBox[\(u\), \(j\), \(2\)]\ 
\*SubsuperscriptBox[\(w\), \(j\), \(2\)]\ \(
\(\*SubscriptBox[\(f\), \(26\)]\)[
\*SubscriptBox[\(t\), \(i\)], 
\*SubscriptBox[\(t\), \(j\)]]\)\)]


(* ::Input::Initialization:: *)
ur[i_]:=\[DoubleStruckCapitalE][\!\(
\*SubsuperscriptBox[\(t\), \(i\), \(\(-1\)/4\)], 0, 0, \ \(
\*SubsuperscriptBox[\(t\), \(i\), \(-1\)] \((
\*SubscriptBox[\(c\), \(i\)]\ 
\(\*SubscriptBox[\(ur\), \(1\)]\)[
\*SubscriptBox[\(t\), \(i\)]] + \ 
\*SubsuperscriptBox[\(c\), \(i\), \(2\)]\ 
\(\*SubscriptBox[\(ur\), \(2\)]\)[
\*SubscriptBox[\(t\), \(i\)]] + \ 
\*SubscriptBox[\(u\), \(i\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\(\*SubscriptBox[\(ur\), \(3\)]\)[
\*SubscriptBox[\(t\), \(i\)]] + \ 
\*SubscriptBox[\(c\), \(i\)]\ 
\*SubscriptBox[\(u\), \(i\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\(\*SubscriptBox[\(ur\), \(4\)]\)[
\*SubscriptBox[\(t\), \(i\)]] + \ 
\*SubsuperscriptBox[\(u\), \(i\), \(2\)]\ 
\*SubsuperscriptBox[\(w\), \(i\), \(2\)]\ 
\(\*SubscriptBox[\(ur\), \(5\)]\)[
\*SubscriptBox[\(t\), \(i\)]])\) // Expand\)\)];
nr[i_]:=\[DoubleStruckCapitalE][\!\(
\*SubsuperscriptBox[\(t\), \(i\), \(1/4\)], 0, 0, \ \(
\*SubscriptBox[\(t\), \(i\)] \((\(-
\*SubscriptBox[\(c\), \(i\)]\)\ 
\(\*SubscriptBox[\(ur\), \(1\)]\)[
\*SubscriptBox[\(t\), \(i\)]] - \ 
\*SubsuperscriptBox[\(c\), \(i\), \(2\)]\ 
\(\*SubscriptBox[\(ur\), \(2\)]\)[
\*SubscriptBox[\(t\), \(i\)]] - \ 
\*SubscriptBox[\(u\), \(i\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\(\*SubscriptBox[\(ur\), \(3\)]\)[
\*SubscriptBox[\(t\), \(i\)]] - \ 
\*SubscriptBox[\(c\), \(i\)]\ 
\*SubscriptBox[\(u\), \(i\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\(\*SubscriptBox[\(ur\), \(4\)]\)[
\*SubscriptBox[\(t\), \(i\)]] - \ 
\*SubsuperscriptBox[\(u\), \(i\), \(2\)]\ 
\*SubsuperscriptBox[\(w\), \(i\), \(2\)]\ 
\(\*SubscriptBox[\(ur\), \(5\)]\)[
\*SubscriptBox[\(t\), \(i\)]])\) // Expand\)\)];
ul[i_]:=\[DoubleStruckCapitalE][\!\(
\*SubsuperscriptBox[\(t\), \(i\), \(1/4\)], 0, 0, \ \(
\*SubscriptBox[\(t\), \(i\)] \((
\*SubscriptBox[\(c\), \(i\)]\ 
\(\*SubscriptBox[\(ul\), \(1\)]\)[
\*SubscriptBox[\(t\), \(i\)]] + \ 
\*SubsuperscriptBox[\(c\), \(i\), \(2\)]\ 
\(\*SubscriptBox[\(ul\), \(2\)]\)[
\*SubscriptBox[\(t\), \(i\)]] + \ 
\*SubscriptBox[\(u\), \(i\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\(\*SubscriptBox[\(ul\), \(3\)]\)[
\*SubscriptBox[\(t\), \(i\)]] + \ 
\*SubscriptBox[\(c\), \(i\)]\ 
\*SubscriptBox[\(u\), \(i\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\(\*SubscriptBox[\(ul\), \(4\)]\)[
\*SubscriptBox[\(t\), \(i\)]] + \ 
\*SubsuperscriptBox[\(u\), \(i\), \(2\)]\ 
\*SubsuperscriptBox[\(w\), \(i\), \(2\)]\ 
\(\*SubscriptBox[\(ul\), \(5\)]\)[
\*SubscriptBox[\(t\), \(i\)]])\) // Expand\)\)];
nl[i_]:=\[DoubleStruckCapitalE][\!\(
\*SubsuperscriptBox[\(t\), \(i\), \(\(-1\)/4\)], 0, 0, \ \(
\*SubsuperscriptBox[\(t\), \(i\), \(-1\)] \((\(-
\*SubscriptBox[\(c\), \(i\)]\)\ 
\(\*SubscriptBox[\(ul\), \(1\)]\)[
\*SubscriptBox[\(t\), \(i\)]] - \ 
\*SubsuperscriptBox[\(c\), \(i\), \(2\)]\ 
\(\*SubscriptBox[\(ul\), \(2\)]\)[
\*SubscriptBox[\(t\), \(i\)]] - \ 
\*SubscriptBox[\(u\), \(i\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\(\*SubscriptBox[\(ul\), \(3\)]\)[
\*SubscriptBox[\(t\), \(i\)]] - \ 
\*SubscriptBox[\(c\), \(i\)]\ 
\*SubscriptBox[\(u\), \(i\)]\ 
\*SubscriptBox[\(w\), \(i\)]\ 
\(\*SubscriptBox[\(ul\), \(4\)]\)[
\*SubscriptBox[\(t\), \(i\)]] - \ 
\*SubsuperscriptBox[\(u\), \(i\), \(2\)]\ 
\*SubsuperscriptBox[\(w\), \(i\), \(2\)]\ 
\(\*SubscriptBox[\(ul\), \(5\)]\)[
\*SubscriptBox[\(t\), \(i\)]])\) // Expand\)\)];


(* ::Input::Initialization:: *)
(* kpr for "kink positive right", etc. *)
kpr[i_]:=Module[{s1,s2,s3}, Rp[i,s3]nr[s1]ul[s2] // m[i,s1,i]//m[i,s2,i]//m[i,s3,i]];
kpl[i_]:=Module[{s1,s2,s3}, Rp[s3,i]nl[s1]ur[s2] // m[i,s1,i]//m[i,s2,i]//m[i,s3,i]];
kmr[i_]:=Module[{s1,s2,s3}, Rm[s3,i]nr[s1]ul[s2] // m[i,s1,i]//m[i,s2,i]//m[i,s3,i]];
kml[i_]:=Module[{s1,s2,s3}, Rm[i,s3]nl[s1]ur[s2] // m[i,s1,i]//m[i,s2,i]//m[i,s3,i]];



