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.4.C.2.1a	$1$	$4$	$4$	$\mathrm{U}(1)\times\mathrm{SU}(2)$	$N(\mathrm{U}(1)\times\mathrm{SU}(2))$	$2$	$0$	$2$	$11$	$90$	$889$	$9723$	$9723$	$2$	$5$	$14$	$46$	$172$	$714$				✓	✓	$[1, 2, 2, 4, 5, 4, 6, 11, 11, 6]$
1.6.C.1.1a	$1$	$6$	$13$	$\mathrm{SU}(2)\times\mathrm{USp}(4)$	$\mathrm{SU}(2)\times \mathrm{USp}(4)$	$1$	$0$	$2$	$11$	$94$	$1050$	$14076$	$14076$	$2$	$6$	$23$	$109$	$613$	$3941$	$6$	$188$	$12226$	✓	✓	$[1, 2, 3, 2, 3, 6, 5, 6, 6, 3, 4, 9, 8, 12, 16, 8, 10, 12, 9, 4]$