Decomposition of the 2nd symmetric tensor power of [0,0,0,1] in F4
Below you find the decomposition of the 2nd symmetric tensor power
of the irreducible F4-module with highest weight [0,0,0,1] into its
irreducible factors, as computed by LiE.
Each term represents a different highest weight of an irreducible module
occurring in the decomposition, prefixed by its multiplicity of occurrence.
The 2nd symmetric tensor power of [0,0,0,1] has dimension 351.
1X[0,0,0,2] +1X[0,0,0,1] +1X[0,0,0,0]
Computation time 0.00 sec.
If you like, you may look at the
implementation
that was used (function SAtensor on page 2).
You may go back and try another example.