Computes the tensor product of two Lie algebra modules.
i1 : g=simpleLieAlgebra("A",2)
o1 = LieAlgebra{isSimple => true }
LieAlgebraRank => 2
RootSystemType => A
o1 : LieAlgebra
|
i2 : U=irreducibleLieAlgebraModule({4,2},g)
o2 = LieAlgebraModule{DecompositionIntoIrreducibles => HashTable{{4, 2} => 1}}
highestWeight => {4, 2}
isIrreducible => true
LieAlgebra => LieAlgebra{isSimple => true }
LieAlgebraRank => 2
RootSystemType => A
o2 : LieAlgebraModule
|
i3 : V=irreducibleLieAlgebraModule({3,1},g)
o3 = LieAlgebraModule{DecompositionIntoIrreducibles => HashTable{{3, 1} => 1}}
highestWeight => {3, 1}
isIrreducible => true
LieAlgebra => LieAlgebra{isSimple => true }
LieAlgebraRank => 2
RootSystemType => A
o3 : LieAlgebraModule
|
i4 : U**V
o4 = LieAlgebraModule{DecompositionIntoIrreducibles => HashTable{{0, 5} => 1}}
{1, 3} => 1
{1, 6} => 1
{2, 1} => 1
{2, 4} => 2
{3, 2} => 2
{3, 5} => 1
{4, 0} => 1
{4, 3} => 2
{5, 1} => 2
{5, 4} => 1
{6, 2} => 2
{7, 0} => 1
{7, 3} => 1
{8, 1} => 1
isIrreducible => false
LieAlgebra => LieAlgebra{isSimple => true }
LieAlgebraRank => 2
RootSystemType => A
o4 : LieAlgebraModule
|