Pensieve header: Experiments with ears.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2012-05\\beta5.0"];
<< betaCalculus.m
Clear[ℏ]; Unprotect[C];
$PerturbativeDegree=6;
βSimplify[expr_]:= Replace[
Series[Normal[expr], {ℏ, 0, $PerturbativeDegree}],sd_SeriesData :> MapAt[Expand, sd, 3]
];
βCollect[B[ω_, μ_]] := B[
βSimplify[ω],
βSimplify[μ]
];
{V, C, sol} = Get["SolutionToDegree6-120501.m"];
{V, C, sol1} = Get["SolutionToDegree6-120518.m"];
{V,C} = {
βCollect[
B[ω[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])],α[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])]t[1]h[1]+β[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])]t[1]h[2]+γ[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])]t[2]h[1]+δ[ℏ (Subscript[c, 1]),ℏ (Subscript[c, 2])]t[2]h[2]]
] /. {
(ϵ:(α|β|γ|δ|ω|κ))[___] :> (Subscript[ϵ, 0]), Derivative[k___][(ϵ:(α|β|γ|δ|ω|κ))][___] :> (Subscript[ϵ, FromDigits[{k}]])
},
βCollect[B[κ[ℏ (Subscript[c, 1])],0]] /. {
(ϵ:(α|β|γ|δ|ω|κ))[___] :> (Subscript[ϵ, 0]), Derivative[k___][(ϵ:(α|β|γ|δ|ω|κ))][___] :> (Subscript[ϵ, FromDigits[{k}]])
}
} /. sol /. sol1

{
"R4" -> R[2,3]**R[1,3]**V==V**(R[1,3] // dΔ[1,1,2]),
"TwistEq" -> V**Θ[1,2]==R[1,2]**(V // dP[2,1]),
"Unitarity" -> V**(V // dA[1] // dA[2]) == B[1,0],
"VerticalFlipEquation" -> V**(V // dS[1] // dS[2]) == R[1,2],
"CapEquation" -> (V**(C // dP[12])  // dcap[1] // dcap[2]) == (C*(C // dP[2]) // dcap[1] // dcap[2]),
"SidesNonDegeneracy" -> (V // dη[1])==B[1,0] && (V // dη[2])==B[1,0],
"CapsAndCups" -> Simplify[C ==(C//dS[1])]
}

V**(V//dS[1])

V**(V//dS[2])

V**(V//dS[1])**V**(V//dS[2])