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 |