Type "help" to see useful commands

i1 : run "date";
Wed Apr 29 17:33:30 EDT 2026

i2 : needsPackage("LieAlgebraRepresentations");

i3 : sp6 = simpleLieAlgebra("C",3);

i4 : rhoV001 = deGraafRepresentation({0,0,1},sp6);
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.
Warning:  F4 Algorithm not available over current coefficient ring or inhomogeneous ideal.
Converting to Naive algorithm.
max-lev=14
Finished level 1. {#G,#B}={2, 2}
Finished level 2. {#G,#B}={4, 3}
Finished level 3. {#G,#B}={5, 5}
Finished level 4. {#G,#B}={7, 7}
Finished level 5. {#G,#B}={9, 9}
Finished level 6. {#G,#B}={12, 11}
Finished level 7. {#G,#B}={14, 12}
Finished level 8. {#G,#B}={16, 13}
Finished level 9. {#G,#B}={17, 14}
Finished level 10. {#G,#B}={18, 14}
Finished level 11. {#G,#B}={18, 14}
Finished level 12. {#G,#B}={18, 14}
Finished level 13. {#G,#B}={18, 14}
Finished level 14. {#G,#B}={18, 14}
Compute rho(B_0)
Compute rho(B_1)
Compute rho(B_2)
Compute rho(B_3)
Compute rho(B_4)
Compute rho(B_5)
Compute rho(B_6)
Compute rho(B_7)
Compute rho(B_8)
Compute rho(B_9)
Compute rho(B_10)
Compute rho(B_11)
Compute rho(B_12)
Compute rho(B_13)
Compute rho(B_14)
Compute rho(B_15)
Compute rho(B_16)
Compute rho(B_17)
Compute rho(B_18)
Compute rho(B_19)
Compute rho(B_20)

i5 : rhoV001star = dual rhoV001;

i6 : rhoW10V001star=exteriorPower(10,rhoV001star);

i7 : hwv = weightMuHighestWeightVectorsInW({0,0,0},rhoW10V001star);

              1001       1
o7 : Matrix QQ     <-- QQ

i8 : rhoV000=trivialRepresentation(sp6);

i9 : rhoV000 = lieAlgebraRepresentation(rhoV000#"Module",rhoV001#"Basis",rhoV000#"RepresentationMatrices");

i10 : V000InW10V001star=VInWedgekW(rhoV000,10,rhoV001star,hwv,"SaveAsFunction"=>"V000InW10V001star");
Length 1 complete. 0 new words found

i11 : run "date";
Wed Apr 29 17:33:57 EDT 2026

i12 :