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.6.1a	$1$	$6$	$4$	$\mathrm{SU}(2)\times\mathrm{U}(1)_2$	$\mathrm{SU}(2)\times D_3$	$6$	$0$	$3$	$32$	$555$	$11984$	$291144$	$291144$	$2$	$10$	$66$	$560$	$5492$	$58886$	$13$	$1370$	$263715$		✓	$[1, 3, 7, 6, 10, 44, 43, 58, 87, 35, 28, 188, 206, 440, 800, 362, 380, 834, 648, 174]$
1.6.K.6.1b	$1$	$6$	$4$	$\mathrm{SU}(2)\times\mathrm{U}(1)_2$	$\mathrm{SU}(2)\times D_{3,2}$	$6$	$0$	$3$	$32$	$555$	$11984$	$291144$	$291144$	$3$	$13$	$76$	$591$	$5588$	$59180$	$14$	$1380$	$263825$		✓	$[1, 3, 8, 5, 11, 44, 42, 64, 85, 34, 29, 191, 203, 441, 800, 359, 396, 826, 649, 166]$