back to table · edit · history · where entries came from · files · download
26216 bytes, as of the version from 2026-11-09 18:48 (current). Recorded here, not run.
[
{
"group": "A",
"N": 1,
"k": 12,
"sturm_bound": 2,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-24"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 1,
"polynomial": "4*X^9 - 25*X^7 + 42*X^5 - 25*X^3 + 4*X",
"polynomial_coefficients": [
"0",
"4",
"0",
"-25",
"0",
"42",
"0",
"-25",
"0",
"4"
],
"odd_part_nonzero": true
},
{
"group": "A",
"N": 1,
"k": 16,
"sturm_bound": 2,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"216"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 1,
"polynomial": "36*X^13 - 245*X^11 + 539*X^9 - 660*X^7 + 539*X^5 - 245*X^3 + 36*X",
"polynomial_coefficients": [
"0",
"36",
"0",
"-245",
"0",
"539",
"0",
"-660",
"0",
"539",
"0",
"-245",
"0",
"36"
],
"odd_part_nonzero": true
},
{
"group": "A",
"N": 1,
"k": 18,
"sturm_bound": 2,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-528"
]
],
"fricke": 1,
"epsilon": -1,
"companion_label": null,
"i": 1,
"polynomial": "24*X^15 - 154*X^13 + 273*X^11 - 143*X^9 - 143*X^7 + 273*X^5 - 154*X^3 + 24*X",
"polynomial_coefficients": [
"0",
"24",
"0",
"-154",
"0",
"273",
"0",
"-143",
"0",
"-143",
"0",
"273",
"0",
"-154",
"0",
"24"
],
"odd_part_nonzero": true
},
{
"group": "A",
"N": 1,
"k": 20,
"sturm_bound": 2,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"456"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 1,
"polynomial": "108*X^17 - 715*X^15 + 1452*X^13 - 1560*X^11 + 1430*X^9 - 1560*X^7 + 1452*X^5 - 715*X^3 + 108*X",
"polynomial_coefficients": [
"0",
"108",
"0",
"-715",
"0",
"1452",
"0",
"-1560",
"0",
"1430",
"0",
"-1560",
"0",
"1452",
"0",
"-715",
"0",
"108"
],
"odd_part_nonzero": true
},
{
"group": "A",
"N": 1,
"k": 22,
"sturm_bound": 2,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-288"
]
],
"fricke": 1,
"epsilon": -1,
"companion_label": null,
"i": 1,
"polynomial": "360*X^19 - 2366*X^17 + 4641*X^15 - 4182*X^13 + 1547*X^11 + 1547*X^9 - 4182*X^7 + 4641*X^5 - 2366*X^3 + 360*X",
"polynomial_coefficients": [
"0",
"360",
"0",
"-2366",
"0",
"4641",
"0",
"-4182",
"0",
"1547",
"0",
"1547",
"0",
"-4182",
"0",
"4641",
"0",
"-2366",
"0",
"360"
],
"odd_part_nonzero": true
},
{
"group": "A",
"N": 1,
"k": 24,
"sturm_bound": 2,
"field_poly": "x^2 - x - 36042",
"field_degree": 2,
"root_interval": [
"25548071457/134217728",
"204384571659/1073741824"
],
"coefficients": [
[],
[
"1"
],
[
"552",
"-24"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 1
},
{
"group": "A",
"N": 1,
"k": 24,
"sturm_bound": 2,
"field_poly": "x^2 - x - 36042",
"field_degree": 2,
"root_interval": [
"-203310829835/1073741824",
"-25413853729/134217728"
],
"coefficients": [
[],
[
"1"
],
[
"552",
"-24"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 2
},
{
"group": "A",
"N": 1,
"k": 26,
"sturm_bound": 2,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-48"
]
],
"fricke": 1,
"epsilon": -1,
"companion_label": null,
"i": 1,
"polynomial": "1080*X^23 - 7106*X^21 + 14025*X^19 - 13167*X^17 + 7106*X^15 - 1938*X^13 - 1938*X^11 + 7106*X^9 - 13167*X^7 + 14025*X^5 - 7106*X^3 + 1080*X",
"polynomial_coefficients": [
"0",
"1080",
"0",
"-7106",
"0",
"14025",
"0",
"-13167",
"0",
"7106",
"0",
"-1938",
"0",
"-1938",
"0",
"7106",
"0",
"-13167",
"0",
"14025",
"0",
"-7106",
"0",
"1080"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 3,
"k": 12,
"sturm_bound": 4,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"78"
],
[
"-243"
],
[
"4036"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 1,
"polynomial": "81*X^9 - 72*X^7 + 28*X^5 - 8*X^3 + X",
"polynomial_coefficients": [
"0",
"1",
"0",
"-8",
"0",
"28",
"0",
"-72",
"0",
"81"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 4,
"k": 12,
"sturm_bound": 6,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[],
[
"-516"
],
[],
[
"-10530"
],
[]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 1,
"polynomial": "256*X^9 - 96*X^7 + 6*X^3 - X",
"polynomial_coefficients": [
"0",
"-1",
"0",
"6",
"0",
"0",
"0",
"-96",
"0",
"256"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 5,
"k": 12,
"sturm_bound": 6,
"field_poly": "x^2 - 151",
"field_degree": 2,
"root_interval": [
"-13194360433/1073741824",
"-6597180215/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-10",
"6"
],
[
"-110",
"32"
],
[
"3488",
"-120"
],
[
"-3125"
],
[
"30092",
"-980"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 1
},
{
"group": "D",
"N": 5,
"k": 12,
"sturm_bound": 6,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"34"
],
[
"-792"
],
[
"-892"
],
[
"3125"
],
[
"-26928"
]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 2,
"polynomial": "3125*X^9 - 800*X^7 + 32*X^3 - 5*X",
"polynomial_coefficients": [
"0",
"-5",
"0",
"32",
"0",
"0",
"0",
"-800",
"0",
"3125"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 5,
"k": 12,
"sturm_bound": 6,
"field_poly": "x^2 - 151",
"field_degree": 2,
"root_interval": [
"6597180215/536870912",
"13194360433/1073741824"
],
"coefficients": [
[],
[
"1"
],
[
"-10",
"6"
],
[
"-110",
"32"
],
[
"3488",
"-120"
],
[
"-3125"
],
[
"30092",
"-980"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 3
},
{
"group": "D",
"N": 6,
"k": 12,
"sturm_bound": 12,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-32"
],
[
"-243"
],
[
"1024"
],
[
"5766"
],
[
"7776"
],
[
"72464"
],
[
"-32768"
],
[
"59049"
],
[
"-184512"
],
[
"-408948"
],
[
"-248832"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 1,
"polynomial": "6480*X^9 - 1080*X^7 + 81*X^5 - 30*X^3 + 5*X",
"polynomial_coefficients": [
"0",
"5",
"0",
"-30",
"0",
"81",
"0",
"-1080",
"0",
"6480"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 6,
"k": 12,
"sturm_bound": 12,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-32"
],
[
"243"
],
[
"1024"
],
[
"-11730"
],
[
"-7776"
],
[
"-50008"
],
[
"-32768"
],
[
"59049"
],
[
"375360"
],
[
"-531420"
],
[
"248832"
]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 2,
"polynomial": "1296*X^9 - 216*X^7 + 6*X^3 - X",
"polynomial_coefficients": [
"0",
"-1",
"0",
"6",
"0",
"0",
"0",
"-216",
"0",
"1296"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 6,
"k": 12,
"sturm_bound": 12,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"32"
],
[
"243"
],
[
"1024"
],
[
"3630"
],
[
"7776"
],
[
"32936"
],
[
"32768"
],
[
"59049"
],
[
"116160"
],
[
"-758748"
],
[
"248832"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 3,
"polynomial": "6480*X^9 - 1368*X^7 + 168*X^5 - 38*X^3 + 5*X",
"polynomial_coefficients": [
"0",
"5",
"0",
"-38",
"0",
"168",
"0",
"-1368",
"0",
"6480"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 7,
"k": 12,
"sturm_bound": 8,
"field_poly": "x^2 - x - 842",
"field_degree": 2,
"root_interval": [
"15849258101/536870912",
"31698516205/1073741824"
],
"coefficients": [
[],
[
"1"
],
[
"-26",
"-2"
],
[
"54",
"12"
],
[
"1996",
"108"
],
[
"-6740",
"-20"
],
[
"-21612",
"-444"
],
[
"16807"
],
[
"-180520",
"-2920"
]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 1
},
{
"group": "D",
"N": 7,
"k": 12,
"sturm_bound": 8,
"field_poly": "x^3 - x^2 - 818*x - 4704",
"field_degree": 3,
"root_interval": [
"-6516429169/1073741824",
"-3258214583/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-65",
"-5/6",
"1/6"
],
[
"-946",
"-91/3",
"5/3"
],
[
"1001",
"69/2",
"3/2"
],
[
"1376",
"1057/3",
"1/3"
],
[
"32482",
"-2933/3",
"-59/3"
],
[
"-16807"
],
[
"90399",
"7383/2",
"-183/2"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 2
},
{
"group": "D",
"N": 7,
"k": 12,
"sturm_bound": 8,
"field_poly": "x^2 - x - 842",
"field_degree": 2,
"root_interval": [
"-30624774381/1073741824",
"-15312387189/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-26",
"-2"
],
[
"54",
"12"
],
[
"1996",
"108"
],
[
"-6740",
"-20"
],
[
"-21612",
"-444"
],
[
"16807"
],
[
"-180520",
"-2920"
]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 3
},
{
"group": "D",
"N": 7,
"k": 12,
"sturm_bound": 8,
"field_poly": "x^3 - x^2 - 818*x - 4704",
"field_degree": 3,
"root_interval": [
"-26338478069/1073741824",
"-13169239033/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-65",
"-5/6",
"1/6"
],
[
"-946",
"-91/3",
"5/3"
],
[
"1001",
"69/2",
"3/2"
],
[
"1376",
"1057/3",
"1/3"
],
[
"32482",
"-2933/3",
"-59/3"
],
[
"-16807"
],
[
"90399",
"7383/2",
"-183/2"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 4
},
{
"group": "D",
"N": 7,
"k": 12,
"sturm_bound": 8,
"field_poly": "x^3 - x^2 - 818*x - 4704",
"field_degree": 3,
"root_interval": [
"16964324529/536870912",
"33928649061/1073741824"
],
"coefficients": [
[],
[
"1"
],
[
"-65",
"-5/6",
"1/6"
],
[
"-946",
"-91/3",
"5/3"
],
[
"1001",
"69/2",
"3/2"
],
[
"1376",
"1057/3",
"1/3"
],
[
"32482",
"-2933/3",
"-59/3"
],
[
"-16807"
],
[
"90399",
"7383/2",
"-183/2"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 5
},
{
"group": "D",
"N": 8,
"k": 12,
"sturm_bound": 12,
"field_poly": "x^2 - x - 27",
"field_degree": 2,
"root_interval": [
"6141967787/1073741824",
"3070983895/536870912"
],
"coefficients": [
[],
[
"1"
],
[],
[
"92",
"-128"
],
[],
[
"3166",
"1536"
],
[],
[
"48216",
"-5376"
],
[],
[
"273685",
"-7168"
],
[],
[
"35188",
"88704"
],
[]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 1
},
{
"group": "D",
"N": 8,
"k": 12,
"sturm_bound": 12,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[],
[
"-36"
],
[],
[
"-3490"
],
[],
[
"-55464"
],
[],
[
"-175851"
],
[],
[
"-597004"
],
[]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 2,
"polynomial": "20480*X^9 - 2048*X^7 + 32*X^3 - 5*X",
"polynomial_coefficients": [
"0",
"-5",
"0",
"32",
"0",
"0",
"0",
"-2048",
"0",
"20480"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 8,
"k": 12,
"sturm_bound": 12,
"field_poly": "x^2 - x - 27",
"field_degree": 2,
"root_interval": [
"-2534112983/536870912",
"-5068225963/1073741824"
],
"coefficients": [
[],
[
"1"
],
[],
[
"92",
"-128"
],
[],
[
"3166",
"1536"
],
[],
[
"48216",
"-5376"
],
[],
[
"273685",
"-7168"
],
[],
[
"35188",
"88704"
],
[]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 3
},
{
"group": "D",
"N": 9,
"k": 12,
"sturm_bound": 12,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-78"
],
[],
[
"4036"
],
[
"5370"
],
[],
[
"-27760"
],
[
"-155064"
],
[],
[
"-418860"
],
[
"-637836"
],
[]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 1,
"polynomial": "19683*X^9 - 1296*X^7 + 16*X^3 - 3*X",
"polynomial_coefficients": [
"0",
"-3",
"0",
"16",
"0",
"0",
"0",
"-1296",
"0",
"19683"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 9,
"k": 12,
"sturm_bound": 12,
"field_poly": "x^2 - 70",
"field_degree": 2,
"root_interval": [
"-8983568631/1073741824",
"-2245892157/268435456"
],
"coefficients": [
[],
[
"1"
],
[
"0",
"6"
],
[],
[
"472"
],
[
"0",
"1344"
],
[],
[
"58100"
],
[
"0",
"-9456"
],
[],
[
"564480"
],
[
"0",
"-19200"
],
[]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 2
},
{
"group": "D",
"N": 9,
"k": 12,
"sturm_bound": 12,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"24"
],
[],
[
"-1472"
],
[
"-4830"
],
[],
[
"-16744"
],
[
"-84480"
],
[],
[
"-115920"
],
[
"-534612"
],
[]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 3,
"polynomial": "26244*X^9 - 2187*X^7 + 27*X^3 - 4*X",
"polynomial_coefficients": [
"0",
"-4",
"0",
"27",
"0",
"0",
"0",
"-2187",
"0",
"26244"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 9,
"k": 12,
"sturm_bound": 12,
"field_poly": "x^2 - 70",
"field_degree": 2,
"root_interval": [
"2245892157/268435456",
"8983568631/1073741824"
],
"coefficients": [
[],
[
"1"
],
[
"0",
"6"
],
[],
[
"472"
],
[
"0",
"1344"
],
[],
[
"58100"
],
[
"0",
"-9456"
],
[],
[
"564480"
],
[
"0",
"-19200"
],
[]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 4
},
{
"group": "D",
"N": 10,
"k": 12,
"sturm_bound": 18,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-32"
],
[
"-12"
],
[
"1024"
],
[
"3125"
],
[
"384"
],
[
"-14176"
],
[
"-32768"
],
[
"-177003"
],
[
"-100000"
],
[
"-756348"
],
[
"-12288"
],
[
"-905482"
],
[
"453632"
],
[
"-37500"
],
[
"1048576"
],
[
"2803794"
],
[
"5664096"
]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 1,
"polynomial": "10000*X^9 - 600*X^7 + 6*X^3 - X",
"polynomial_coefficients": [
"0",
"-1",
"0",
"6",
"0",
"0",
"0",
"-600",
"0",
"10000"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 10,
"k": 12,
"sturm_bound": 18,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"-32"
],
[
"738"
],
[
"1024"
],
[
"-3125"
],
[
"-23616"
],
[
"25574"
],
[
"-32768"
],
[
"367497"
],
[
"100000"
],
[
"769152"
],
[
"755712"
],
[
"-918982"
],
[
"-818368"
],
[
"-2306250"
],
[
"1048576"
],
[
"10312794"
],
[
"-11759904"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 2,
"polynomial": "370000*X^9 - 24700*X^7 + 1050*X^5 - 247*X^3 + 37*X",
"polynomial_coefficients": [
"0",
"37",
"0",
"-247",
"0",
"1050",
"0",
"-24700",
"0",
"370000"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 10,
"k": 12,
"sturm_bound": 18,
"field_poly": "x",
"field_degree": 1,
"root_interval": [
"-1/1073741824",
"1/536870912"
],
"coefficients": [
[],
[
"1"
],
[
"32"
],
[
"-318"
],
[
"1024"
],
[
"-3125"
],
[
"-10176"
],
[
"-70714"
],
[
"32768"
],
[
"-76023"
],
[
"-100000"
],
[
"238272"
],
[
"-325632"
],
[
"-2097478"
],
[
"-2262848"
],
[
"993750"
],
[
"1048576"
],
[
"5955546"
],
[
"-2432736"
]
],
"fricke": -1,
"epsilon": -1,
"companion_label": null,
"i": 3,
"polynomial": "110000*X^9 - 7500*X^7 + 75*X^3 - 11*X",
"polynomial_coefficients": [
"0",
"-11",
"0",
"75",
"0",
"0",
"0",
"-7500",
"0",
"110000"
],
"odd_part_nonzero": true
},
{
"group": "D",
"N": 10,
"k": 12,
"sturm_bound": 18,
"field_poly": "x^2 - x - 492",
"field_degree": 2,
"root_interval": [
"6089916735/268435456",
"24359666943/1073741824"
],
"coefficients": [
[],
[
"1"
],
[
"32"
],
[
"312",
"-20"
],
[
"1024"
],
[
"3125"
],
[
"9984",
"-640"
],
[
"5276",
"3540"
],
[
"32768"
],
[
"116997",
"-12080"
],
[
"100000"
],
[
"198252",
"25080"
],
[
"319488",
"-20480"
],
[
"879782",
"-29040"
],
[
"168832",
"113280"
],
[
"975000",
"-62500"
],
[
"1048576"
],
[
"-3212094",
"100560"
],
[
"3743904",
"-386560"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 4
},
{
"group": "D",
"N": 10,
"k": 12,
"sturm_bound": 18,
"field_poly": "x^2 - x - 492",
"field_degree": 2,
"root_interval": [
"-23285925119/1073741824",
"-5821481279/268435456"
],
"coefficients": [
[],
[
"1"
],
[
"32"
],
[
"312",
"-20"
],
[
"1024"
],
[
"3125"
],
[
"9984",
"-640"
],
[
"5276",
"3540"
],
[
"32768"
],
[
"116997",
"-12080"
],
[
"100000"
],
[
"198252",
"25080"
],
[
"319488",
"-20480"
],
[
"879782",
"-29040"
],
[
"168832",
"113280"
],
[
"975000",
"-62500"
],
[
"1048576"
],
[
"-3212094",
"100560"
],
[
"3743904",
"-386560"
]
],
"fricke": 1,
"epsilon": 1,
"companion_label": null,
"i": 5
}
]