Type "help" to see useful commands

i1 : run "date";
Fri May  1 15:56:02 EDT 2026

i2 : needsPackage("LieAlgebraRepresentations");

i3 : g2 = simpleLieAlgebra("G",2);

i4 : rhoV01 = adjointRepresentation(g2);

i5 : rhoV01star = dual rhoV01;

i6 : rhoW10V01star=exteriorPower(10,rhoV01star);

i7 : hwv1 = weightMuHighestWeightVectorsInW({0,1},rhoW10V01star);

              1001       1
o7 : Matrix QQ     <-- QQ

i8 : V01InW10V01=VInWedgekW(rhoV01,10,rhoV01star,hwv1,"SaveAsFunction"=>"V01inW10V01star");
Length 1 complete. 5 new words found
Length 2 complete. 8 new words found

i9 : rhoS2V01=symmetricPower(2,rhoV01);

i10 : hwv2 = weightMuHighestWeightVectorsInW({0,0},rhoS2V01);

               105       1
o10 : Matrix QQ    <-- QQ

i11 : rhoV00=trivialRepresentation(g2);

i12 : rhoV00 = lieAlgebraRepresentation(rhoV00#"Module",rhoV01#"Basis",rhoV00#"RepresentationMatrices");

i13 : V00InS2V01=VInSymdW(rhoV00,2,rhoV01,hwv2,"SaveAsFunction"=>"V00inS2V01");
Length 1 complete. 0 new words found
0

i14 : run "date";
Fri May  1 15:56:14 EDT 2026

i15 : quit