Type "help" to see useful commands

i1 : run "date";
Wed Jun 10 10:31:36 UTC 2026

i2 : needsPackage("LieAlgebraRepresentations");

i3 : sl6 = simpleLieAlgebra("A",5);

i4 : Std = standardModule(sl6);

i5 : peek Std

o5 = LieAlgebraModule{cache => CacheTable{}                                              }
                      DecompositionIntoIrreducibles => VirtualTally{{1, 0, 0, 0, 0} => 1}
                      LieAlgebra => sl6

i6 : W2Std=exteriorPower(2,Std);

i7 : peek W2Std

o7 = LieAlgebraModule{cache => CacheTable{}                                              }
                      DecompositionIntoIrreducibles => VirtualTally{{0, 1, 0, 0, 0} => 1}
                      LieAlgebra => sl6

i8 : W2Stdstar = dual W2Std;

i9 : peek W2Stdstar

o9 = LieAlgebraModule{cache => CacheTable{}                                              }
                      DecompositionIntoIrreducibles => VirtualTally{{0, 0, 0, 1, 0} => 1}
                      LieAlgebra => sl6

i10 : time W9W2Stdstar=exteriorPower(9,W2Stdstar);

i11 : peek W9W2Stdstar

o11 = LieAlgebraModule{cache => CacheTable{}                                              }
                       DecompositionIntoIrreducibles => VirtualTally{{0, 0, 0, 3, 0} => 1}
                                                                     {1, 1, 0, 1, 1} => 1
                                                                     {3, 0, 1, 0, 0} => 1
                       LieAlgebra => sl6

i12 : V11011 = irreducibleLieAlgebraModule(sl6,{1,1,0,1,1})

o12 = V11011

o12 : irreducible LieAlgebraModule over sl6

i13 : dim V11011

o13 = 3675

i14 : V30100 = irreducibleLieAlgebraModule(sl6,{3,0,1,0,0})

o14 = V30100

o14 : irreducible LieAlgebraModule over sl6

i15 : dim V30100

o15 = 840

i16 : V00030 = irreducibleLieAlgebraModule(sl6,{0,0,0,3,0})

o16 = V00030

o16 : irreducible LieAlgebraModule over sl6

i17 : dim V00030

o17 = 490

i18 : S2V30100 = symmetricPower(2,V30100)

o18 = S2V30100

o18 : LieAlgebraModule over sl6

i19 : peek S2V30100

o19 = LieAlgebraModule{cache => CacheTable{}                                              }
                       DecompositionIntoIrreducibles => VirtualTally{{0, 2, 0, 2, 0} => 1}
                                                                     {0, 3, 0, 0, 0} => 1
                                                                     {0, 4, 0, 1, 0} => 1
                                                                     {1, 2, 1, 1, 0} => 1
                                                                     {1, 3, 0, 0, 1} => 1
                                                                     {2, 1, 1, 0, 1} => 1
                                                                     {2, 2, 2, 0, 0} => 1
                                                                     {3, 1, 1, 1, 0} => 1
                                                                     {3, 2, 0, 0, 1} => 1
                                                                     {4, 0, 0, 2, 0} => 1
                                                                     {4, 1, 0, 0, 0} => 1
                                                                     {4, 2, 0, 1, 0} => 1
                                                                     {5, 0, 1, 1, 0} => 1
                                                                     {5, 1, 0, 0, 1} => 1
                                                                     {6, 0, 2, 0, 0} => 1
                                                                     {7, 0, 0, 0, 1} => 1
                       LieAlgebra => sl6

i20 : S3V00030 = symmetricPower(3,V00030)

o20 = S3V00030

o20 : LieAlgebraModule over sl6

i21 : peek S3V00030

o21 = LieAlgebraModule{cache => CacheTable{}                                              }
                       DecompositionIntoIrreducibles => VirtualTally{{0, 0, 0, 0, 0} => 1}
                                                                     {0, 0, 0, 3, 0} => 1
                                                                     {0, 0, 0, 6, 0} => 1
                                                                     {0, 0, 0, 9, 0} => 1
                                                                     {0, 0, 2, 2, 2} => 1
                                                                     {0, 0, 2, 5, 2} => 1
                                                                     {0, 0, 3, 3, 3} => 1
                                                                     {0, 0, 4, 0, 0} => 1
                                                                     {0, 0, 4, 3, 0} => 1
                                                                     {0, 0, 5, 0, 3} => 1
                                                                     {0, 1, 0, 1, 0} => 1
                                                                     {0, 1, 0, 4, 0} => 1
                                                                     {0, 1, 0, 7, 0} => 1
                                                                     {0, 1, 1, 2, 1} => 1
                                                                     {0, 1, 1, 5, 1} => 1
                                                                     {0, 1, 2, 0, 2} => 1
                                                                     {0, 1, 2, 3, 2} => 2
                                                                     {0, 1, 3, 0, 5} => 1
                                                                     {0, 1, 3, 1, 3} => 1
                                                                     {0, 1, 3, 2, 1} => 1
                                                                     {0, 1, 4, 1, 0} => 1
                                                                     {0, 2, 0, 0, 4} => 1
                                                                     {0, 2, 0, 2, 0} => 2
                                                                     {0, 2, 0, 3, 4} => 1
                                                                     {0, 2, 0, 5, 0} => 2
                                                                     {0, 2, 1, 2, 3} => 1
                                                                     {0, 2, 1, 3, 1} => 2
                                                                     {0, 2, 2, 1, 2} => 2
                                                                     {0, 2, 3, 0, 1} => 1
                                                                     {0, 3, 0, 0, 0} => 1
                                                                     {0, 3, 0, 1, 4} => 1
                                                                     {0, 3, 0, 3, 0} => 3
                                                                     {0, 3, 1, 0, 3} => 1
                                                                     {0, 3, 1, 1, 1} => 1
                                                                     {0, 4, 0, 1, 0} => 1
                                                                     {1, 0, 1, 1, 2} => 1
                                                                     {1, 0, 1, 4, 2} => 1
                                                                     {1, 0, 2, 0, 1} => 1
                                                                     {1, 0, 2, 2, 3} => 1
                                                                     {1, 0, 2, 3, 1} => 1
                                                                     {1, 0, 3, 1, 2} => 1
                                                                     {1, 0, 3, 2, 0} => 1
                                                                     {1, 1, 0, 1, 1} => 1
                                                                     {1, 1, 0, 4, 1} => 1
                                                                     {1, 1, 1, 1, 4} => 1
                                                                     {1, 1, 1, 2, 2} => 2
                                                                     {1, 1, 1, 3, 0} => 1
                                                                     {1, 1, 2, 0, 3} => 1
                                                                     {1, 1, 2, 1, 1} => 2
                                                                     {1, 2, 0, 1, 3} => 1
                                                                     {1, 2, 0, 2, 1} => 2
                                                                     {1, 2, 1, 0, 2} => 1
                                                                     {1, 2, 1, 1, 0} => 1
                                                                     {2, 0, 0, 0, 2} => 1
                                                                     {2, 0, 0, 3, 2} => 1
                                                                     {2, 0, 1, 1, 3} => 1
                                                                     {2, 0, 1, 2, 1} => 1
                                                                     {2, 0, 2, 1, 0} => 1
                                                                     {2, 1, 0, 1, 2} => 2
                                                                     {2, 1, 1, 0, 1} => 1
                                                                     {3, 0, 0, 0, 3} => 1
                       LieAlgebra => sl6

i22 : run "date";
Wed Jun 10 22:11:59 UTC 2026

i23 :