Pensieve header:  Testing suite for the FullDoPeGDO project.

Date[]
SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\FullDoPeGDO"];
Once[<<KnotTheory`];
Once[Get@"../Profile/Profile.m"];
$k=1;
<<Engine.m
<<Objects.m

HL[ℰ_] := Style[ℰ, Background -> If[TrueQ@ℰ,,]];

$k=2;(Subscript[cm, 1,2->1])//(Subscript[cm, 1,3->1])

Timing@Block[{$k=2},HL[((Subscript[cm, 1,2->1])//(Subscript[cm, 1,3->1]))≡((Subscript[cm, 2,3->2])//(Subscript[cm, 1,2->1]))]]

Timing@Block[{$k=3},HL[((Subscript[cm, 1,2->1])//(Subscript[cm, 1,3->1]))≡((Subscript[cm, 2,3->2])//(Subscript[cm, 1,2->1]))]]

Timing@Block[{$k=4},HL[((Subscript[cm, 1,2->1])//(Subscript[cm, 1,3->1]))≡((Subscript[cm, 2,3->2])//(Subscript[cm, 1,2->1]))]]

Timing@Block[{$k=5},HL[((Subscript[cm, 1,2->1])//(Subscript[cm, 1,3->1]))≡((Subscript[cm, 2,3->2])//(Subscript[cm, 1,2->1]))]]

Timing@Block[{$k=6},HL[((Subscript[cm, 1,2->1])//(Subscript[cm, 1,3->1]))≡((Subscript[cm, 2,3->2])//(Subscript[cm, 1,2->1]))]]

Timing@Block[{$k=7},HL[((Subscript[cm, 1,2->1])//(Subscript[cm, 1,3->1]))≡((Subscript[cm, 2,3->2])//(Subscript[cm, 1,2->1]))]]

Timing@Block[{$k=8},HL[((Subscript[cm, 1,2->1])//(Subscript[cm, 1,3->1]))≡((Subscript[cm, 2,3->2])//(Subscript[cm, 1,2->1]))]]

(Subscript[aσ, 1->2])

(Subscript[am, 1,2->3])

(Subscript[bm, 1,2->3])

Block[{$k=8},(Subscript[R, 1,2])]

Timing@Block[{$k=8},
HL/@{((Subscript[am, 1,2->1])//(Subscript[am, 1,3->1]))≡Echo@((Subscript[am, 2,3->2])//(Subscript[am, 1,2->1])),((Subscript[bm, 1,2->1])//(Subscript[bm, 1,3->1]))≡Echo@((Subscript[bm, 2,3->2])//(Subscript[bm, 1,2->1]))}
]

$k=1;(Subscript[R, i,j])

$k=3;(Subscript[(OverBar[R]), i,j])

$k=3;(Subscript[P, i,j])

$k=3; (Subscript[aS, i])

$k=3; (Subscript[(OverBar[aS]), i])

((Subscript[(OverBar[aS]), 1])//(Subscript[aS, 1]))

((Subscript[(OverBar[aS]), 1])//(Subscript[aS, 1]))

((Subscript[(OverBar[bS]), 1])//(Subscript[bS, 1]))

$k=1

(Subscript[dS, 1])

𝔽=𝔼; (Subscript[dS, 1])≡(Subscript[𝔽, {1}->{1}])[-(Subscript[a, 1]) (Subscript[α, 1])-(Subscript[b, 1]) (Subscript[β, 1])-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1]))),((ℏ (Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[y, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[η, 1]^2))/(2 (Subscript[B, 1]^2)))-ℏ (Subscript[a, 1]) (Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[ξ, 1])+(((Subscript[a, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[x, 1]) (Subscript[y, 1]) (Subscript[𝒜, 1]^2) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+(((-(Subscript[𝒜, 1])+(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[β, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1])))+(((Subscript[y, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]))/(2 (Subscript[B, 1]^2)))-(1/2) ℏ (Subscript[x, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[ξ, 1]^2)+(((Subscript[x, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]) (Subscript[ξ, 1]^2))/(2 (Subscript[B, 1])))+(((-3 (Subscript[𝒜, 1]^2)+4 (Subscript[B, 1]) (Subscript[𝒜, 1]^2)-(Subscript[B, 1]^2) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]^2))/(4 ℏ (Subscript[B, 1]^2)))]

(Subscript[(OverBar[dS]), 1])≡(Subscript[𝔽, {1}->{1}])[-(Subscript[a, 1]) (Subscript[α, 1])-(Subscript[b, 1]) (Subscript[β, 1])-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1]))),-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[y, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[η, 1]^2))/(2 (Subscript[B, 1]^2)))+ℏ (Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])-ℏ (Subscript[a, 1]) (Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[ξ, 1])+(((Subscript[a, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[x, 1]) (Subscript[y, 1]) (Subscript[𝒜, 1]^2) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+(((-(Subscript[𝒜, 1])+(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[β, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1])))+(((Subscript[y, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]))/(2 (Subscript[B, 1]^2)))-(1/2) ℏ (Subscript[x, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[ξ, 1]^2)+(((Subscript[x, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]) (Subscript[ξ, 1]^2))/(2 (Subscript[B, 1])))+(((-3 (Subscript[𝒜, 1]^2)+4 (Subscript[B, 1]) (Subscript[𝒜, 1]^2)-(Subscript[B, 1]^2) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]^2))/(4 ℏ (Subscript[B, 1]^2)))]

(Subscript[dS, 1])//(Subscript[(OverBar[dS]), 1])

(Subscript[𝔼, {1}->{1}])[-(Subscript[a, 1]) (Subscript[α, 1])-(Subscript[b, 1]) (Subscript[β, 1])-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1]))),(((ℏ (Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[y, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[η, 1]^2))/(2 (Subscript[B, 1]^2)))-ℏ (Subscript[a, 1]) (Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[ξ, 1])+(((Subscript[a, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[x, 1]) (Subscript[y, 1]) (Subscript[𝒜, 1]^2) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+(((-(Subscript[𝒜, 1])+(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[β, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1])))+(((Subscript[y, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]))/(2 (Subscript[B, 1]^2)))-(1/2) ℏ (Subscript[x, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[ξ, 1]^2)+(((Subscript[x, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]) (Subscript[ξ, 1]^2))/(2 (Subscript[B, 1])))+(((-3 (Subscript[𝒜, 1]^2)+4 (Subscript[B, 1]) (Subscript[𝒜, 1]^2)-(Subscript[B, 1]^2) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]^2))/(4 ℏ (Subscript[B, 1]^2))))]//(Subscript[𝔼, {1}->{1}])[-(Subscript[a, 1]) (Subscript[α, 1])-(Subscript[b, 1]) (Subscript[β, 1])-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1]))),-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[y, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[η, 1]^2))/(2 (Subscript[B, 1]^2)))+ℏ (Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])-ℏ (Subscript[a, 1]) (Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[ξ, 1])+(( (Subscript[a, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[x, 1]) (Subscript[y, 1]) (Subscript[𝒜, 1]^2) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+(((-(Subscript[𝒜, 1])+(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[β, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1])))+(((Subscript[y, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]))/(2 (Subscript[B, 1]^2)))-(1/2) ℏ (Subscript[x, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[ξ, 1]^2)+(((Subscript[x, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]) (Subscript[ξ, 1]^2))/(2 (Subscript[B, 1])))+(((-3 (Subscript[𝒜, 1]^2)+4 (Subscript[B, 1]) (Subscript[𝒜, 1]^2)-(Subscript[B, 1]^2) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]^2))/(4 ℏ (Subscript[B, 1]^2)))]

(Subscript[𝔼, {1}->{1}])[-(Subscript[a, 1]) (Subscript[α, 1])-(Subscript[b, 1]) (Subscript[β, 1])-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1]))),(((ℏ (Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[y, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[η, 1]^2))/(2 (Subscript[B, 1]^2)))-ℏ (Subscript[a, 1]) (Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[ξ, 1])+(((Subscript[a, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[x, 1]) (Subscript[y, 1]) (Subscript[𝒜, 1]^2) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+(((-(Subscript[𝒜, 1])+(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[β, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1])))+(((Subscript[y, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]))/(2 (Subscript[B, 1]^2)))-(1/2) ℏ (Subscript[x, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[ξ, 1]^2)+(((Subscript[x, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]) (Subscript[ξ, 1]^2))/(2 (Subscript[B, 1])))+(((-3 (Subscript[𝒜, 1]^2)+4 (Subscript[B, 1]) (Subscript[𝒜, 1]^2)-(Subscript[B, 1]^2) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]^2))/(4 ℏ (Subscript[B, 1]^2))))]//(Subscript[𝔼, {1}->{1}])[-(Subscript[a, 1]) (Subscript[α, 1])-(Subscript[b, 1]) (Subscript[β, 1])-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1]))),-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[y, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[η, 1]^2))/(2 (Subscript[B, 1]^2)))+ℏ (Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])-ℏ (Subscript[a, 1]) (Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[β, 1]) (Subscript[ξ, 1])+(((Subscript[a, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))-((ℏ (Subscript[x, 1]) (Subscript[y, 1]) (Subscript[𝒜, 1]^2) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+(((-(Subscript[𝒜, 1])+(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(Subscript[B, 1]))+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[β, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1])))+(((Subscript[y, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]))/(2 (Subscript[B, 1]^2)))-(1/2) ℏ (Subscript[x, 1]^2) (Subscript[𝒜, 1]^2) (Subscript[ξ, 1]^2)+(((Subscript[x, 1]) (3 (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]) (Subscript[ξ, 1]^2))/(2 (Subscript[B, 1])))+(((-3 (Subscript[𝒜, 1]^2)+4 (Subscript[B, 1]) (Subscript[𝒜, 1]^2)-(Subscript[B, 1]^2) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]^2))/(4 ℏ (Subscript[B, 1]^2)))]

(Subscript[𝔼, {1}->{1}])[(Subscript[a, 1]) (Subscript[α, 1])+(Subscript[b, 1]) (Subscript[β, 1])+(Subscript[y, 1]) (Subscript[η, 1])+(Subscript[x, 1]) (Subscript[ξ, 1]),(ℏ-ℏ ) (Subscript[x, 1]) (Subscript[y, 1]) (Subscript[η, 1]) (Subscript[ξ, 1])+(- (Subscript[𝒜, 1])+ (Subscript[𝒜, 1])+ (Subscript[𝒜, 1])+ (Subscript[B, 1]) (Subscript[𝒜, 1])- (Subscript[B, 1]) (Subscript[𝒜, 1])- (Subscript[B, 1]) (Subscript[𝒜, 1])- (Subscript[𝒜, 1]^2)+ (Subscript[B, 1]) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]) (Subscript[ξ, 1])+((((Subscript[𝒜, 1])- (Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])+ (Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[β, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/ℏ)+(Subscript[y, 1]) (- (Subscript[𝒜, 1])+ (Subscript[𝒜, 1])+ (Subscript[B, 1]) (Subscript[𝒜, 1])- (Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]^2) (Subscript[ξ, 1])+(Subscript[x, 1]) ((Subscript[𝒜, 1])- (Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])+ (Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]^2)+(((- (Subscript[𝒜, 1]^2)+ (Subscript[𝒜, 1]^2)-(Subscript[B, 1]) (Subscript[𝒜, 1]^2)+2  (Subscript[B, 1]) (Subscript[𝒜, 1]^2)- (Subscript[B, 1]) (Subscript[𝒜, 1]^2)+(Subscript[B, 1]^2) (Subscript[𝒜, 1]^2)- (Subscript[B, 1]^2) (Subscript[𝒜, 1]^2)) (Subscript[η, 1]^2) (Subscript[ξ, 1]^2))/ℏ)]/.{Red|Green|Blue->1}

(Subscript[𝔼, {1}->{1}])[-(Subscript[a, 1]) (Subscript[α, 1])-(Subscript[b, 1]) (Subscript[β, 1])-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1]))),0]//(Subscript[𝔼, {1}->{1}])[-(Subscript[a, 1]) (Subscript[α, 1])-(Subscript[b, 1]) (Subscript[β, 1])-(((Subscript[y, 1]) (Subscript[𝒜, 1]) (Subscript[η, 1]))/(Subscript[B, 1]))-(Subscript[x, 1]) (Subscript[𝒜, 1]) (Subscript[ξ, 1])+((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1]))),((((Subscript[𝒜, 1])-(Subscript[B, 1]) (Subscript[𝒜, 1])) (Subscript[β, 1]) (Subscript[η, 1]) (Subscript[ξ, 1]))/(ℏ (Subscript[B, 1])))]

((Subscript[kR, 1,4])(Subscript[(OverBar[kR]), 5,2])(Subscript[(OverBar[kC]), 3]))//(Subscript[km, 2,4->2])//(Subscript[km, 1,3->1])//(Subscript[km, 1,5->1])

(Subscript[(OverBar[kC]), 1])(Subscript[dη, 2])

((Subscript[𝔼, {}->{1,2}])[0,(Subscript[a, 2])(Subscript[x, 1])]//(Subscript[am, 1,2->1]))

$k=2; 𝔼2Λ[(Subscript[𝔼, {}->{1,2}])[0,(Subscript[y, 2])(Subscript[b, 1])]//(Subscript[bm, 1,2->1])]

(Subscript[𝔼, {}->{1,2}])[0,(Subscript[y, 2])(Subscript[b, 1])]