Pensieve Header: An attempt on the genus property using Γ-calculus.

dir=SetDirectory["C:/drorbn/AcademicPensieve/2014-06/"];
<< MetaCalculi/MetaCalculi-Program.m

γ0=Γ[ω[(Subscript[T, a]),(Subscript[T, b])],(Subscript[h, a])((Subscript[T, a])^α)((Subscript[T, b])^γ)+(Subscript[h, b])((Subscript[T, a])^β)((Subscript[T, b])^δ), {(Subscript[t, a]),(Subscript[t, b])}.(({{α[(Subscript[T, a]),(Subscript[T, b])], β[(Subscript[T, a]),(Subscript[T, b])]}, {γ[(Subscript[T, a]),(Subscript[T, b])], δ[(Subscript[T, a]),(Subscript[T, b])]}})).{(Subscript[h, a]),(Subscript[h, b])}]

γ1=γ0 // qΔ[a,1,2] // dS[2] // qΔ[b,3,4] // dS[4]

γ1p = γ1 // ΓCollect[Simplify[Limit[Limit[Limit[Limit[#, (Subscript[T, 1])->T], (Subscript[T, 2])->T], (Subscript[T, 3])->T], (Subscript[T, 4])->T]]&]

γ2 = γ1 // dm[1,4,1]

γ2p = γ2 // ΓCollect[Simplify[Limit[Limit[Limit[#, (Subscript[T, 1])->T], (Subscript[T, 2])->T], (Subscript[T, 3])->T]]&]

γ3=γ2// dm[1,2,1]

γ4=γ3 // dm[1,3,1]