-- -*- M2-comint -*- hash: 12617041988870136534

i1 : sl2 = simpleLieAlgebra("A",1)

o1 = sl2

o1 : simple LieAlgebra

i2 : V = irreducibleLieAlgebraModule({1},sl2)

o2 = V

o2 : irreducible LieAlgebraModule over sl2

i3 : LAB=lieAlgebraBasis("A",1)

o3 = Enhanced basis of sl2

o3 : LieAlgebraBasis

i4 : L = {matrix {{1, 0}, {0, -1/1}}, matrix {{0, 1}, {0, 0/1}}, matrix {{0, 0}, {1, 0/1}}}

o4 = {| 1 0  |, | 0 1 |, | 0 0 |}
      | 0 -1 |  | 0 0 |  | 1 0 |

o4 : List

i5 : rho = lieAlgebraRepresentation(V,LAB,L)

o5 = LieAlgebraRepresentation{"Basis" => Enhanced basis of sl2                        }
                              "Module" => V
                              "RepresentationMatrices" => {| 1 0  |, | 0 1 |, | 0 0 |}
                                                           | 0 -1 |  | 0 0 |  | 1 0 |

o5 : LieAlgebraRepresentation

i6 : 
