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.J.4.1a	$1$	$6$	$4$	$\mathrm{U}(1)\times\mathrm{SU}(2)_2$	$J(E_4,E_2)$	$4$	$0$	$3$	$27$	$440$	$9443$	$229740$	$229740$	$2$	$9$	$57$	$479$	$4688$	$50123$	$14$	$1242$	$229640$		✓	$[1, 3, 6, 7, 8, 36, 41, 52, 81, 44, 20, 145, 184, 371, 688, 345, 326, 760, 599, 203]$
1.6.J.4.1b	$1$	$6$	$4$	$\mathrm{U}(1)\times\mathrm{SU}(2)_2$	$J_1(E_4)$	$4$	$0$	$4$	$42$	$660$	$12838$	$285096$	$285096$	$2$	$11$	$75$	$623$	$5828$	$59313$	$16$	$1524$	$259520$		✓	$[1, 4, 8, 8, 13, 50, 50, 60, 92, 46, 32, 183, 208, 404, 736, 364, 339, 784, 622, 208]$