Computer calculations for "Some singular curves in Mukai's model of
\(\overline{M}_7\)", Section 6
Code 6.6: Decomposing \( \operatorname{Sym}^5 \operatorname{Std}\)
We decompose \( \operatorname{Sym}^5 \operatorname{Std}\) into irreducible
representations, where \( \operatorname{Std}\) is the standard
representation of \( \mathfrak{so}(10)\).
Magma V2.27-8 Sun Apr 16 2023 03:08:54 on MAC-M26AQ05N [Seed = 1046594949]
+-------------------------------------------------------------------+
| This copy of Magma has been made available through a |
| generous initiative of the |
| |
| Simons Foundation |
| |
| covering U.S. Colleges, Universities, Nonprofit Research entities,|
| and their students, faculty, and staff |
+-------------------------------------------------------------------+
Type ? for help. Type -D to quit.
> R:=RootDatum("D5" : Isogeny := "SC");
> DecomposeSymmetricPower(R,5,[1,0,0,0,0]);
[
(5 0 0 0 0),
(3 0 0 0 0),
(1 0 0 0 0)
]
[ 1, 1, 1 ]
