irreducibleLieAlgebraModule -- construct the irreducible Lie algebra module with given highest weight

Synopsis

• Usage:

  irreducibleLieAlgebraModule(w,g)

• Inputs:
  • w, a list, the highest weight of the desired module
  • g, an instance of the type LieAlgebra,
• Outputs:
  • M, an instance of the type LieAlgebraModule,

Description

i1 : g=simpleLieAlgebra("A",2)

o1 = g

o1 : LieAlgebra

i2 : irreducibleLieAlgebraModule({1,1},g)

o2 = {LieAlgebra => g                                        }
      isIrreducible => true
      highestWeight => {1, 1}
      DecompositionIntoIrreducibles => HashTable{{1, 1} => 1}

o2 : g module