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.12.3a	$1$	$6$	$4$	$\mathrm{SU}(2)\times\mathrm{U}(1)_2$	$\mathrm{SU}(2)\times T$	$12$	$0$	$3$	$26$	$365$	$6874$	$155274$	$155274$	$2$	$9$	$52$	$381$	$3322$	$32895$	$12$	$872$	$141370$		✓	$[1, 3, 6, 5, 7, 28, 26, 34, 49, 20, 17, 99, 107, 227, 408, 185, 199, 425, 328, 91]$
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]$