Pensieve header: Testing the global picture.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\OneCo-1604"];
<< Global.m

Verifying Ea

{CF@(Subscript[Ea[t,1,2], 1]), CF@(Subscript[Ea[t,1,2], 2])} /. t->0

{D[(Subscript[Ea[t,1,2], 1]), t],D[(Subscript[Ea[t,1,2], 2]), t]}

{D[(Subscript[Ea[t,1,2], 1]), t]-bb[1,2][UU[a[1,1,2]], (Subscript[Ea[t,1,2], 1])],
D[(Subscript[Ea[t,1,2], 2]), t]-bb[1,2][UU[a[1,1,2]], (Subscript[Ea[t,1,2], 2])]}

Testing ct

?ct

ct[h∞,0][(Subscript[Ea[t,1,2], 1]), UU[β[(Subscript[b, 0])]]]

ct[h∞,0][(Subscript[Ea[t,1,2], 2]), UU[β[(Subscript[b, 0])]]]

Testing β[] Scattering

β[f[(Subscript[b, 1]),(Subscript[b, 2])]] // Ea[t,1,2]

Testing a[] Scattering

Table[a[f[(Subscript[b, 1]),(Subscript[b, 2])],k,h∞] // Ea[t,1,2], {k,2}]

Testing δa[] Scattering

TSD0[Ea[t,1,2]]

Table[δa[f[(Subscript[b, 1]),(Subscript[b, 2])],k,h∞] // Ea[t,1,2], {k,2}]

Table[δa[f[(Subscript[b, 1]),(Subscript[b, 2])],t∞,k] // Ea[t,1,2], {k,2}]

Table[δa[f,j,k] // Ea[t,1,2], {j,2},{k,2}]

Compositions

Ea[t,1,2]**Ea[s,1,2]

Ea[s+t,1,2]

Table[(Subscript[(Ea[t,1,2]**Ea[s,1,2]), k])-(Subscript[Ea[s+t,1,2], k]), {k,2}]

h∞Basis[{1,2},f]

Table[u->(u//Ea[s+t,1,2])-(u//Ea[t,1,2]//Ea[s,1,2]), {u,h∞Basis[{1,2},f]}]