Type "help" to see useful commands

i1 : -- Construct the parts of F82b that we don't already have from F82a and c
     run "date";
Fri May  8 05:30:29 EDT 2026

i2 : needsPackage("LieAlgebraRepresentations");

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

i4 : rhoStd = standardRepresentation(sl6);

i5 : LAB = rhoStd#"Basis";

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

i7 : L00030 = GTrepresentationMatrices(V00030);

i8 : rhoV00030 = lieAlgebraRepresentation(V00030,LAB,L00030);

i9 : V03000 = irreducibleLieAlgebraModule({0,3,0,0,0},sl6);

i10 : L03000 = GTrepresentationMatrices(V03000);

i11 : rhoV03000 = lieAlgebraRepresentation(V03000,LAB,L03000);

i12 : hwv1 = weightNuHighestWeightVectorsInVtensorW({0,0,0,0,0},rhoV00030,rhoV03000);
Constructing the Casimir operator...
Other EVs: {84, 68, 56, 48, 36, 28, 20, 12}
Beginning projections...
    j=0:
        EV 84 complete
        EV 68 complete
        EV 56 complete
        EV 48 complete
        EV 36 complete
        EV 28 complete
        EV 20 complete
        EV 12 complete
    #hwvs=0

i13 : rhoV00000=trivialRepresentation(sl6);

i14 : rhoV00000 = lieAlgebraRepresentation(rhoV00000#"Module",LAB,rhoV00000#"RepresentationMatrices");

i15 : V00000inV00030otimesV03000 = UInVtensorW(rhoV00000,rhoV00030,rhoV03000,hwv1_0,"SaveAsFunction"=>"V00000inV00030otimesV03000");
Length 1 complete. 0 new words found
0

i16 : run "date";
Fri May  8 05:31:28 EDT 2026

i17 :