Sato-Tate group search results

Results (displaying both matches)

 

Label	Wt	Deg	$\mathrm{dim}_{\mathbb{R}}$	$\mathrm{G}^0$	Name	$\mathrm{G}/\mathrm{G}^0$	$\mathrm{Pr}[t\!=\!0]$	$\mathrm{E}[a_1^2]$	$\mathrm{E}[a_1^4]$	$\mathrm{E}[a_1^6]$	$\mathrm{E}[a_1^8]$	$\mathrm{E}[a_1^{10}]$	$\mathrm{E}[a_1^{12}]$	$\mathrm{E}[a_2]$	$\mathrm{E}[a_2^2]$	$\mathrm{E}[a_2^3]$	$\mathrm{E}[a_2^4]$	$\mathrm{E}[a_2^5]$	$\mathrm{E}[a_2^6]$	$\mathrm{E}[a_3^2]$	$\mathrm{E}[a_3^4]$	$\mathrm{E}[a_3^6]$	Maximal	Rational	Diagonal
1.6.K.24.12a	$1$	$6$	$4$	$\mathrm{SU}(2)\times\mathrm{U}(1)_2$	$\mathrm{SU}(2)\times O_1$	$24$	$0$	$2$	$14$	$185$	$3444$	$77658$	$77658$	$2$	$7$	$33$	$211$	$1722$	$16630$	$7$	$444$	$70765$		✓	$[1, 2, 4, 3, 5, 14, 14, 22, 25, 12, 10, 52, 55, 115, 204, 94, 111, 214, 169, 47]$
1.6.K.24.12b	$1$	$6$	$4$	$\mathrm{SU}(2)\times\mathrm{U}(1)_2$	$\mathrm{SU}(2)\times O$	$24$	$0$	$3$	$26$	$345$	$5824$	$116004$	$116004$	$2$	$9$	$51$	$358$	$2902$	$26245$	$12$	$810$	$106345$		✓	$[1, 3, 6, 5, 7, 26, 24, 29, 40, 17, 13, 72, 76, 151, 260, 116, 123, 254, 191, 56]$