Type "help" to see useful commands

i1 : run "date";
Fri May  1 20:35:16 EDT 2026

i2 : needsPackage("LieAlgebraRepresentations");

i3 : so10 = simpleLieAlgebra("D",5);

i4 : Splus = irreducibleLieAlgebraModule(so10,{0,0,0,1,0});

i5 : peek Splus

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

i6 : Splusstar = dual Splus;

i7 : W7Splusstar=exteriorPower(7,Splusstar);

i8 : peek W7Splusstar

o8 = LieAlgebraModule{cache => CacheTable{}                                              }
                      DecompositionIntoIrreducibles => VirtualTally{{1, 0, 1, 1, 0} => 1}
                                                                    {3, 0, 0, 0, 1} => 1
                      LieAlgebra => so10

i9 : dim irreducibleLieAlgebraModule(so10,{1,0,1,1,0})

o9 = 8800

i10 : dim irreducibleLieAlgebraModule(so10,{3,0,0,0,1})

o10 = 2640

i11 : V30001=irreducibleLieAlgebraModule(so10,{3,0,0,0,1});

i12 : S2V30001=symmetricPower(2,V30001);

i13 : peek S2V30001

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

i14 : V30000 = irreducibleLieAlgebraModule(so10,{3,0,0,0,0});

i15 : S2V30000=symmetricPower(2,V30000);

i16 : peek S2V30000

o16 = LieAlgebraModule{cache => CacheTable{}                                              }
                       DecompositionIntoIrreducibles => VirtualTally{{0, 0, 0, 0, 0} => 1}
                                                                     {0, 2, 0, 0, 0} => 1
                                                                     {2, 0, 0, 0, 0} => 1
                                                                     {2, 2, 0, 0, 0} => 1
                                                                     {4, 0, 0, 0, 0} => 1
                                                                     {6, 0, 0, 0, 0} => 1
                       LieAlgebra => so10

i17 : run "date";
Fri May  1 20:48:10 EDT 2026

i18 :