-- -*- M2-comint -*- hash: 13941300199767972729

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

i2 : rho1 = adjointRepresentation(sl3);

i3 : V=irreducibleLieAlgebraModule({1,1},sl3);

i4 : LAB = lieAlgebraBasis(sl3);

i5 : rho2=lieAlgebraRepresentation(V,LAB,GTrepresentationMatrices(V));

i6 : P = isomorphismOfRepresentations(rho1,rho2)
Length 1 complete. 3 new words found
Length 2 complete. 4 new words found

o6 = | 0 0 0  1 0 -1 0  0 |
     | 0 0 0  0 0 -2 0  0 |
     | 0 0 -1 0 0 0  0  0 |
     | 0 1 0  0 0 0  0  0 |
     | 1 0 0  0 0 0  0  0 |
     | 0 0 0  0 2 0  0  0 |
     | 0 0 0  0 0 0  -3 0 |
     | 0 0 0  0 0 0  0  3 |

              8       8
o6 : Matrix QQ  <-- QQ

i7 : Pinv := inverse P;

              8       8
o7 : Matrix QQ  <-- QQ

i8 : L1:=rho1#"RepresentationMatrices";

i9 : L2:=rho2#"RepresentationMatrices";

i10 : all(#L1, i -> L2_i == Pinv*(L1_i)*P)

o10 = true

i11 : 
