back to table · edit · history · where entries came from · files · download
14894 bytes, as of the version from 2026-11-10 22:53 (current). Recorded here, not run.
{
"table": "T710",
"checked_entries": 22,
"total_entries": 22,
"failures": [],
"known_answer_control": true,
"negative_control_rejected": true,
"working_bits": 512,
"rows": [
{
"k": 3,
"degree": 2,
"L": 12,
"ambient_degree": 4,
"characteristic_multiplicity": 2,
"chars": 10,
"value_ball": "[0.192450089729875254836382926833985818549200583756708958672867442161325890767644448564571798528583175075069571268378522558885549454999883608756850612454930 +/- 8.26e-154]",
"radius": "6.4752903e-154",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 9.31e-153]",
"checked_residues": 2,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 4,
"degree": 1,
"L": 4,
"ambient_degree": 2,
"characteristic_multiplicity": 2,
"chars": 7,
"value_ball": "[0.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 +/- 9.74e-154]",
"radius": "7.8664374e-154",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 1.95e-153]",
"checked_residues": 2,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 5,
"degree": 4,
"L": 20,
"ambient_degree": 8,
"characteristic_multiplicity": 2,
"chars": 24,
"value_ball": "[0.89081309152928538815550003158955950070652029590919021808096640319879169645245278070410934295543512553340132240221919918959440892046184366349738670047786 +/- 4.72e-153]",
"radius": "1.3515198e-153",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 7.51e-150]",
"checked_residues": 4,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 6,
"degree": 2,
"L": 12,
"ambient_degree": 4,
"characteristic_multiplicity": 2,
"chars": 11,
"value_ball": "[1.34715062810912678385468048783790072984440408629696271071007209512928123537351113995200258970008222552548699887864965791219884618499918526129795428718451 +/- 4.77e-153]",
"radius": "2.6084884e-153",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 2.54e-151]",
"checked_residues": 2,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 7,
"degree": 6,
"L": 28,
"ambient_degree": 12,
"characteristic_multiplicity": 2,
"chars": 46,
"value_ball": "[1.85761008912843495116319577601907443849962066948867116302722768710636612381079626198125560630392365079943564522782496532719903527670268069725613810102135 +/- 6.68e-153]",
"radius": "5.7502624e-153",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 3.14e-145]",
"checked_residues": 6,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 8,
"degree": 2,
"L": 8,
"ambient_degree": 4,
"characteristic_multiplicity": 2,
"chars": 13,
"value_ball": "[2.41421356237309504880168872420969807856967187537694807317667973799073247846210703885038753432764157273501384623091229702492483605585073721264412149709994 +/- 9.79e-153]",
"radius": "4.8929360e-153",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 1.61e-152]",
"checked_residues": 4,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 9,
"degree": 6,
"L": 36,
"ambient_degree": 12,
"characteristic_multiplicity": 2,
"chars": 43,
"value_ball": "[3.0110541874923053346507472525733663402201165054329977007858035572715253813833855351949526905401527479117960390802884864218516797905413037698161962915473 +/- 1.46e-152]",
"radius": "7.8156692e-153",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 1.19e-145]",
"checked_residues": 6,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 10,
"degree": 4,
"L": 20,
"ambient_degree": 8,
"characteristic_multiplicity": 2,
"chars": 28,
"value_ball": "[3.6435769324716324645699191954113348597583189679255075448123179344369820839867987508360153291755755103236031498077885367842345120462578496710799808950252 +/- 1.97e-152]",
"radius": "1.0206739e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 4.32e-147]",
"checked_residues": 4,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 11,
"degree": 10,
"L": 44,
"ambient_degree": 20,
"characteristic_multiplicity": 2,
"chars": 118,
"value_ball": "[4.3081595282956632016505328730818249845590697471630932939370802060795145472495697274845581510736210710904528759494727629926750404840340501785201249510736 +/- 5.95e-152]",
"radius": "1.3931815e-152",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 1.07e-134]",
"checked_residues": 10,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 12,
"degree": 2,
"L": 12,
"ambient_degree": 4,
"characteristic_multiplicity": 2,
"chars": 19,
"value_ball": "[5.0018511664883783128729780488418156411396075888372164627472767480972365799793778313394333808715812759759044264889207932655121429149984869138390579619141 +/- 2.00e-152]",
"radius": "1.3317904e-152",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 8.76e-150]",
"checked_residues": 4,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 13,
"degree": 12,
"L": 52,
"ambient_degree": 24,
"characteristic_multiplicity": 2,
"chars": 165,
"value_ball": "[5.7222008448960398736712755682764634732410694648131229048506056813476636939124577940807450461023857269815241605629129639472405356341888366053059054523447 +/- 5.38e-152]",
"radius": "2.2870160e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 1.17e-128]",
"checked_residues": 12,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 14,
"degree": 6,
"L": 28,
"ambient_degree": 12,
"characteristic_multiplicity": 2,
"chars": 53,
"value_ball": "[6.4671398310534079616454962231127846653886244447013134871534402800400728093677554547394784502534472380297482324600388255753508355889834302276437645726094 +/- 5.67e-152]",
"radius": "2.6301857e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 7.56e-142]",
"checked_residues": 6,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 15,
"degree": 8,
"L": 60,
"ambient_degree": 16,
"characteristic_multiplicity": 2,
"chars": 106,
"value_ball": "[7.2348984133602831570433781328339245302170471437572506430334904227133464461879275418703246424854765866267865989422095947916580886561382400241090202042608 +/- 7.85e-152]",
"radius": "2.9692527e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 1.24e-132]",
"checked_residues": 8,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 16,
"degree": 4,
"L": 16,
"ambient_degree": 8,
"characteristic_multiplicity": 2,
"chars": 38,
"value_ball": "[8.0239452547913371221161102060065493044290102542084660908137504011036049869286235125601348080566615298618797955908161261733263824313182801354211309924312 +/- 4.23e-152]",
"radius": "2.0118470e-152",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 2.73e-148]",
"checked_residues": 8,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 17,
"degree": 16,
"L": 68,
"ambient_degree": 32,
"characteristic_multiplicity": 2,
"chars": 294,
"value_ball": "[8.8329421480621345173911311454365997647287021819540026028279213305595231717866092837338622503853282574951338894954822445595314026946478821099548227386025 +/- 2.31e-152]",
"radius": "2.0764710e-152",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 4.25e-116]",
"checked_residues": 16,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 18,
"degree": 6,
"L": 36,
"ambient_degree": 12,
"characteristic_multiplicity": 2,
"chars": 46,
"value_ball": "[9.6607095647808014211923728665726266870190652063149030958335542152792772337524385952635919736130555175613485979714194383936058399344164089375155128492382 +/- 5.73e-152]",
"radius": "3.7707440e-152",
"accuracy_bits": 506,
"polynomial_residual": "[+/- 1.71e-142]",
"checked_residues": 6,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 19,
"degree": 18,
"L": 76,
"ambient_degree": 36,
"characteristic_multiplicity": 2,
"chars": 371,
"value_ball": "[10.5061999547638084129472590302411572083129184128438022213807808245775435541872581691186601592167708057986580010061321297013793718931415691081677559283606 +/- 6.89e-152]",
"radius": "4.3356305e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 2.94e-109]",
"checked_residues": 18,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 20,
"degree": 4,
"L": 20,
"ambient_degree": 8,
"characteristic_multiplicity": 2,
"chars": 60,
"value_ball": "[11.3684767284135589338026856966956626896913543591648763200854639564962143227967545197967501321532804450528213295149054413873811506209480034058352953326395 +/- 8.91e-152]",
"radius": "4.6438316e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 8.73e-144]",
"checked_residues": 8,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 21,
"degree": 12,
"L": 84,
"ambient_degree": 24,
"characteristic_multiplicity": 2,
"chars": 222,
"value_ball": "[12.2466974841560037029516467078960473809666977323145826601879946594283394714724833443721527088750867765705686194650161237946842397519679847152270466599207 +/- 5.88e-152]",
"radius": "5.1506101e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 1.06e-118]",
"checked_residues": 12,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 22,
"degree": 10,
"L": 44,
"ambient_degree": 20,
"characteristic_multiplicity": 2,
"chars": 128,
"value_ball": "[13.1401004591502356277845042537931567323667763911519980534698498554720351437422439732871756586585951265280165070967417492558999088528910718995739573984926 +/- 7.67e-152]",
"radius": "6.6748310e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 9.68e-130]",
"checked_residues": 10,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 23,
"degree": 22,
"L": 92,
"ambient_degree": 44,
"characteristic_multiplicity": 2,
"chars": 564,
"value_ball": "[14.0479934634421928248094824063187650520024978748372817464696954731932206213224877664805987599062812863282804109491590880221268126795869895362270088193037 +/- 6.68e-152]",
"radius": "5.8437825e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 2.25e-95]",
"checked_residues": 22,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
},
{
"k": 24,
"degree": 4,
"L": 24,
"ambient_degree": 8,
"characteristic_multiplicity": 2,
"chars": 50,
"value_ball": "[14.969744752807081087087532483467211414936377928067758544826546273557845157961981614656970572580002368798524902783332603893468006620524040462275851036218 +/- 2.24e-151]",
"radius": "7.4900963e-152",
"accuracy_bits": 505,
"polynomial_residual": "[+/- 2.94e-145]",
"checked_residues": 8,
"root_bracket_halfwidth": "2^-400 plus direct ball radius",
"exact_annihilation": true,
"orbit_polynomial_equal": true,
"irreducible": true
}
],
"known_polynomials": {
"2": "x",
"3": "27*x^2-1",
"4": "2*x-1",
"6": "27*x^2-49"
},
"independence": "Estermann double sum and full orbit product; no generator import or minpoly call. Shared Sage polynomial arithmetic and irreducibility backend.",
"skill_manifest": "../20261110T221640Z-build-skills/manifest.json",
"skill_bundle_sha256": "d6661c2f21613524889fa3a57d3c95f8330344ca62e5a856211c08a282b7dbab",
"input": "Live authenticated API read of T710 after upload"
}