Produces a module over the direct sum of the Lie algebras of the two modules.
i1 : LL_(1,2,3,4) (simpleLieAlgebra("D",4)) @ LL_(5,6) (simpleLieAlgebra("G",2)) o1 = LL (๐ก ++ ๐ค ) 1,2,3,4,5,6 4 2 o1 : irreducible LieAlgebraModule over ๐ก ++ ๐ค 4 2
A complicated way to define usual tensor product LieAlgebraModule ** LieAlgebraModule would be using the diagonal embedding:
i2 : g := simpleLieAlgebra("A",1) o2 = ๐ 1 o2 : simple LieAlgebra
i3 : h := g ++ g o3 = ๐ ++ ๐ 1 1 o3 : LieAlgebra
i4 : gdiag := subLieAlgebra(h,matrix {{1},{1}}) o4 = ๐ 1 o4 : simple LieAlgebra, subalgebra of ๐ ++ ๐ 1 1
i5 : M = LL_5 (g); M' = LL_2 (g);
i7 : M @ M' o7 = LL (๐ ++ ๐ ) 5,2 1 1 o7 : irreducible LieAlgebraModule over ๐ ++ ๐ 1 1
i8 : branchingRule(oo,gdiag) o8 = LL (๐ ) ++ LL (๐ ) ++ LL (๐ ) 3 1 5 1 7 1 o8 : LieAlgebraModule over ๐ 1
i9 : M ** M' o9 = LL (๐ ) ++ LL (๐ ) ++ LL (๐ ) 3 1 5 1 7 1 o9 : LieAlgebraModule over ๐ 1