-- Construct the parts of F82b that we don't already have from F82a and c
run "date";
needsPackage("LieAlgebraRepresentations");
sl6 = simpleLieAlgebra("A",5);
rhoStd = standardRepresentation(sl6);
LAB = rhoStd#"Basis";
V00030 = irreducibleLieAlgebraModule({0,0,0,3,0},sl6);
L00030 = GTrepresentationMatrices(V00030);
rhoV00030 = lieAlgebraRepresentation(V00030,LAB,L00030);
V03000 = irreducibleLieAlgebraModule({0,3,0,0,0},sl6);
L03000 = GTrepresentationMatrices(V03000);
rhoV03000 = lieAlgebraRepresentation(V03000,LAB,L03000);
hwv1 = weightNuHighestWeightVectorsInVtensorW({0,0,0,0,0},rhoV00030,rhoV03000);
rhoV00000=trivialRepresentation(sl6);
rhoV00000 = lieAlgebraRepresentation(rhoV00000#"Module",LAB,rhoV00000#"RepresentationMatrices");
V00000inV00030otimesV03000 = UInVtensorW(rhoV00000,rhoV00030,rhoV03000,hwv1_0,"SaveAsFunction"=>"V00000inV00030otimesV03000");
run "date";