-- -*- M2-comint -*- hash: 9773312323126299538

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

o1 = sl3

o1 : simple LieAlgebra

i2 : V = adjointRepresentation(sl3);

i3 : W = standardRepresentation(sl3);

i4 : T = V**W;

i5 : hwv = weightMuHighestWeightVectorsInW({0,2},T)

o5 = | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | -1 |
     | 0  |
     | 0  |
     | 0  |
     | 1  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |
     | 0  |

              24       1
o5 : Matrix QQ   <-- QQ

i6 : Umod = irreducibleLieAlgebraModule({0,2},sl3);

i7 : LAB = lieAlgebraBasis(sl3);

i8 : U = lieAlgebraRepresentation(Umod,LAB,GTrepresentationMatrices(Umod));

i9 : L = UInVtensorW(U,V,W,hwv)
Length 1 complete. 2 new words found
Length 2 complete. 3 new words found

o9 = {- A B  + A B , A B  - A B  + A B , A B  + A B  + A B  - A B , - 2A B  +
         3 0    4 1   1 0    2 1    4 2   0 1    1 1    3 2    5 0      2 2  
     ------------------------------------------------------------------------
     2A B , 2A B  + 2A B  - 2A B , 4A B  - 4A B }
       6 0    0 2     6 1     7 0    5 2     7 1

o9 : List

i10 : 
