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

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])-1)α[(Subscript[T, a]),(Subscript[T, b])], ((Subscript[T, a])-1)β[(Subscript[T, a]),(Subscript[T, b])]}, {((Subscript[T, b])-1)γ[(Subscript[T, a]),(Subscript[T, b])], ((Subscript[T, a])^β)((Subscript[T, b])^δ)+((Subscript[T, b])-1)δ[(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]

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

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

γ4=(γ3 // dm[1,3,1]) /. α_[1,1] :> (Subscript[α, 1])