Pensieve header: Twisting $V$ by $R$’s - continued pensieve://2015-12/.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2015-10"];
<< "../Projects/MetaCalculi/MetaCalculi.m"

(Subscript[T, i_]):=(E^(Subscript[b, i]));
bConjugate[expr_]:= expr /. (Subscript[b, i_]) :> -(Subscript[b, i]);
bSimplify[expr_] := Assuming[(Subscript[b, 1])>0∧(Subscript[b, 2])>0∧(Subscript[b, 3])>0∧(Subscript[b, i])>0∧(Subscript[b, j])>0, FullSimplify[PowerExpand[expr]]];
ΓSimp=bSimplify;
R[a_,b_,p_] := Γ[1, (Subscript[h, a])+(Subscript[h, b])((Subscript[T, a])^p), {(Subscript[t, a]),(Subscript[t, b])}.(({{1, 1-((Subscript[T, a])^p)}, {0, ((Subscript[T, a])^p)}})).{(Subscript[h, a]),(Subscript[h, b])}];

{R[1,2,1],R[1,2,1/2]**R[1,2,1/2]}

Γ[V]//bSimplify

R[1,2,-1/2]**Γ[V] // bSimplify

Γ[V]**R[1,2,-1/2] // bSimplify

R[1,2,1/2]**Γ[V] // bSimplify