Pensieve header: The $k=3$ building micro-blocks and gradings to cancel ℏ and γ.

Warning. To test degree rules, use versions of SL2Invariant.m from before July 5, 2018, and unset ℏ=γ=1.

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects/SL2Invariant"];
<< SL2Invariant.m
Block[{$k=3}, quarks={
am->(Subscript[am, i,j->k]),bm->(Subscript[bm, i,j->k]),R->(Subscript[R, i,j]),P->(Subscript[P, i,j]),aS->(Subscript[aS, i]),CC->(Subscript[CC, i]),b2t->(Subscript[b2t, i]),t2b->(Subscript[t2b, i])
}] // Column

Print[degrule=Thread[{a,b,α,β,ξ,η,x,y,ℏ,γ,ϵ,t,τ,T,B,𝒜}->{1,1,-1,-1,-1,-1,1,1,-2,1,1,2,-2,0,0,0}]];
quarks /. 𝔼[L_,Q_,P_]:>(𝔼[L,Q,P]≡(𝔼[L,Q,Normal@P] /. {(Subscript[v_, i_]):>(s^(v/.degrule))(Subscript[v, i]), (v:ℏ|ϵ|γ):>(s^(v/.degrule))v}))

Print[degrule=Thread[{a,b,α,β,ξ,η,x,y,ℏ,γ,ϵ,t,τ,T,B,𝒜}->{0,1,0,-1,0,-1,0,1,-1,0,1,1,-1,0,0,0}]];
quarks /. 𝔼[L_,Q_,P_]:>(𝔼[L,Q,P]≡(𝔼[L,Q,Normal@P] /. {(Subscript[v_, i_]):>(s^(v/.degrule))(Subscript[v, i]), (v:ℏ|ϵ|γ):>(s^(v/.degrule))v}))

Print[degrule=Thread[{a,b,α,β,ξ,η,x,y,ℏ,γ,ϵ,t,τ,T,B,𝒜}->{1,0,-1,0,-1,0,1,0,-1,1,0,1,-1,0,0,0}]];
quarks /. 𝔼[L_,Q_,P_]:>(𝔼[L,Q,P]≡(𝔼[L,Q,Normal@P] /. {(Subscript[v_, i_]):>(s^(v/.degrule))(Subscript[v, i]), (v:ℏ|ϵ|γ):>(s^(v/.degrule))v}))