Dimensions of modules in branching
For example, consider the following branching:
G2=WeylCharacterRing("G2",style="coroots")
adj=G2(0,1)
A1 = WeylCharacterRing("A1", style="coroots")
adj.branch(A1,rule="levi")
How can I find the dimensions of all representations that occur? In this example, we obtain:
3*A1(0) + A1(2) + 2*A1(3)
and I would like to get:
3*1 + 3 + 2*4
(Note: If I try A1(1).degree() I obtain 1 which is wrong.)