run "date";
needsPackage("LieAlgebraRepresentations");
sp6 = simpleLieAlgebra("C",3);
rhoV001 = deGraafRepresentation({0,0,1},sp6);
rhoV001star = dual rhoV001;
rhoW9V001star=exteriorPower(9,rhoV001star);
hwv = weightMuHighestWeightVectorsInW({5,0,0},rhoW9V001star);
rhoV500 = deGraafRepresentation({5,0,0},sp6);
rhoV500 = lieAlgebraRepresentation(rhoV500#"Module",rhoV001#"Basis",rhoV500#"RepresentationMatrices");
V500InW9V001star=VInWedgekW(rhoV500,9,rhoV001star,hwv,"SaveAsFunction"=>"V500InW9V001star");
hwv2 = weightMuHighestWeightVectorsInSymdW({2,0,0},2,rhoV500);
rhoV200 = deGraafRepresentation({2,0,0},sp6);
rhoV200 = lieAlgebraRepresentation(rhoV200#"Module",rhoV001#"Basis",rhoV200#"RepresentationMatrices");
V200inS2V500 = VInSymdW(rhoV200,2,rhoV500,hwv2_0,"SaveAsFunction"=>"V200inS2V500");
hwv3 = weightMuHighestWeightVectorsInSymdW({0,0,0},2,rhoV200);
rhoV000=trivialRepresentation(sp6);
rhoV000 = lieAlgebraRepresentation(rhoV000#"Module",rhoV001#"Basis",rhoV000#"RepresentationMatrices");
V000InS2V200=VInSymdW(rhoV000,2,rhoV200,hwv3_0,"SaveAsFunction"=>"V000InS2V200");
run "date";