"Source: Text/RepThy/LieReps.text";
"Line: 1968";
"Date: Fri Sep 26 12:10:12 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/RepThy/LieReps.text, line: 1968
// Example: H114E16 ()
print "Example: H114E16";
ei := GetEchoInput();
SetEchoInput(true);
L:= LieAlgebra("G2", Rationals());
V1:= HighestWeightModule(L, [1,0]);
V2:= HighestWeightModule(L, [0,1]);
T,f:= TensorProduct([V1,V2]);
HighestWeightsAndVectors(T);
DecomposeTensorProduct(RootDatum(L), [1,0], [0,1]);
f(<V1.2,V2.3>);
E,h:= ExteriorPower(V1, 3);
h(<V1.1,V1.3,V1.4>);
h(<V1.1,V1.4,V1.3>);
DecomposeExteriorPower( RootDatum(L), 3, [1,0] );
HighestWeightsAndVectors(E);
SetEchoInput(ei);
