Pensieve header: Caps and cups for NOE-0.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\OneCo-1606"];
<< NOE-0.m

Rp[1,2]//m[1,2,1]

Rp[1,2]//m[2,1,1]

Rp[1,2]Rp[4,3]//m[1,2,1]//m[1,3,1]//m[1,4,1]

Fo4[i_]:=(E^(-(Subscript[b, i])/4)) 𝔼[(((Subscript[b, i]^2) (Subscript[c, i])/2+(1-(E^(-(Subscript[b, i])/2))) (Subscript[u, i]) (Subscript[w, i]))/(Subscript[b, i]))]

Fo4[1]Fo4[2]Fo4[3]Fo4[4]//m[1,2,1]//m[1,3,1]//m[1,4,1]

iFo4[i_]:=(E^((Subscript[b, i])/4)) 𝔼[(((Subscript[b, i]^2) (Subscript[c, i])/2-(1-(E^((Subscript[b, i])/2))) (Subscript[u, i]) (Subscript[w, i]))/(-(Subscript[b, i])))]

Fo4[1]iFo4[2]//m[1,2,1]

Rp[1,2]iFo4[3]iFo4[4]//m[1,3,1]//m[2,4,2]

Rp[1,2]iFo4[3]iFo4[4]//m[1,3,1]//m[1,4,1]

Rp[1,2]iFo4[3]iFo4[4]//m[1,3,1]//m[1,4,1]//m[1,2,1]

Rp[1,2]iFo4[3]iFo4[4]//m[1,3,1]//m[1,4,1]//m[2,1,1]

Rp[1,2]iFo4[3]iFo4[4]//m[2,3,2]//m[2,4,2]

Rp[i,j]iFo4[1]iFo4[2]//m[i,1,i]//m[j,2,j]

Simp[(Rp[1,2]iFo4[3]iFo4[4]//m[1,3,1]//m[1,4,1]) /. (Subscript[u, i_])->((-(Subscript[u, i])(Subscript[b, i]))/((E^(Subscript[b, i]))-1))]

ur[i_]:=(E^((Subscript[b, i])/4))𝔼[0]; nr[i_]:=(E^(-(Subscript[b, i])/4))𝔼[0];
ul[i_]:=(E^(-(Subscript[b, i])/4))𝔼[0]; nl[i_]:=(E^((Subscript[b, i])/4))𝔼[0];

ur[1]nr[2]//m[1,2,1]

ul[1]nl[2] // m[1,2,1]

(* kpr for "kink positive right", etc. *)
kpr=Rp[1,4]nr[3]ul[4] // m[1,2,1]//m[1,3,1]//m[1,4,1]

kpl=Rp[4,1]nl[3]ur[4] // m[1,2,1]//m[1,3,1]//m[1,4,1]

kmr=Rm[4,1]nr[3]ul[4] // m[1,2,1]//m[1,3,1]//m[1,4,1]

kml=Rm[1,4]nl[3]ur[4] // m[1,2,1]//m[1,3,1]//m[1,4,1]

kpr(kml//σ[1,2]) // m[1,2,1]

kpr(kmr//σ[1,2]) // m[1,2,1]