back to table · edit · history · where entries came from · files · download
10374 bytes, as of the version from 2026-11-09 16:19 (current). Recorded here, not run.
{
"table": "T693",
"sage": "10.9",
"numberdb": "0.1.10",
"skill_manifest": "agents/runs/20261109T154709Z-build-skills/manifest.json",
"skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
"controls": "reciprocal series, exact interval inclusion, corrupted coefficient and nonzero U identity passed",
"entries": 61,
"exact_polynomial_agreements": 61,
"printed_formula_agreements": 6,
"kummer_ode_residuals": 60,
"minimum_accuracy_bits": 517,
"working_bits": 525,
"minimum_independent_accuracy_bits": 692,
"max_cancellation_decimal_digits": 0.4960462080866172,
"negative_orders": [
50,
52,
54,
56,
58,
60
],
"raw_ball_measurement": {
"entries": 61,
"longest": 176,
"longest_at": 56,
"block_kb": 12.58984375
},
"written_measurement": {
"entries": 61,
"longest": 102,
"longest_at": 50,
"block_kb": 8.119140625
},
"bernoulli_ingredient_checks": 62,
"hankel_ingredient_checks": 1071,
"tricomi_control": {
"real": "0.500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"imaginary": "0"
},
"stored_interval_checks": 61,
"stored_sign_checks": 61,
"tricomi_tests": [
{
"n": 25,
"L": 0,
"normalized_error": "[0.2665512709687643938520321960747609212307097694558206426907936500716566975148112261759256686590169563560384596839263563649472053589911725176910468926843207600031168721678039593156145161408573392964165965045337091430241848495517789780629989373631253222627258121863486824127760711296912723621173402128758780975490770268524054990730251458713671 +/- 8.68e-341]",
"error_mid": 0.2665512709687644,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 1,
"normalized_error": "[0.060229281208787154274587766779138373572280014937063480439148125658804294051481821564423187662071068 +/- 2.03e-100]",
"error_mid": 0.06022928120878716,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 3,
"normalized_error": "[0.000599024212599575235455971093917569642167328967227734414682338146864392987528101509538155292917452 +/- 2.24e-100]",
"error_mid": 0.0005990242125995752,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 5,
"normalized_error": "[0.000126607701218237533277987132272039880809287027645549096878080244824615291275773893551092916260998 +/- 2.25e-100]",
"error_mid": 0.00012660770121823754,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 10,
"normalized_error": "[7.26784652363312064839101876266864258950460002170857075735995892548067535681371351345396370277e-8 +/- 7.89e-101]",
"error_mid": 7.267846523633121e-08,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 20,
"normalized_error": "[1.429996797450397110093670528818541169715849962427515563992383356855923659910491106846467e-12 +/- 2.40e-100]",
"error_mid": 1.429996797450397e-12,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 40,
"normalized_error": "[1.64111133212257116084950391429178691631129494027543510977785609668787885769002488e-20 +/- 8.92e-101]",
"error_mid": 1.6411113321225712e-20,
"U_accuracy_bits": 1128
},
{
"n": 25,
"L": 60,
"normalized_error": "[1.30102401262521936589642908581278084160986417734972218627870522624227715651136e-23 +/- 7.77e-101]",
"error_mid": 1.3010240126252193e-23,
"U_accuracy_bits": 1128
},
{
"n": 100,
"L": 0,
"normalized_error": "[0.031383394421506959641298163406589497597120975516024957175536325122182526926104159597370728513159315142019999911450688863365279439215117100627670818491614126331615385655609337153476116427142062971967197049264551744427643438063293076698219373033980414068983792019625039738139593155101152635160206844111387054404960272522736 +/- 6.17e-322]",
"error_mid": 0.031383394421506956,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 1,
"normalized_error": "[0.0078256096819206867192529337569927753842996290378420801599627260790441822728260836958182664712503792 +/- 3.42e-101]",
"error_mid": 0.007825609681920687,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 3,
"normalized_error": "[0.0001227314121813463347983498261683414206516143047388537337296712151429812078988713471729116554561090 +/- 3.35e-101]",
"error_mid": 0.00012273141218134635,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 5,
"normalized_error": "[1.0544999000865917001354161982361583939476722497349881586481487863174852236354170775819985016725e-6 +/- 2.46e-101]",
"error_mid": 1.0544999000865916e-06,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 10,
"normalized_error": "[6.85639464379736812220933708725451765708505373599614811199984568089479255568750163277378698e-11 +/- 4.27e-101]",
"error_mid": 6.856394643797367e-11,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 20,
"normalized_error": "[9.66524921057412810719955998163821902127166554096619071171269305926556992444624046e-20 +/- 2.19e-101]",
"error_mid": 9.665249210574128e-20,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 40,
"normalized_error": "[6.923880207117265063667705606963494169949140453969015092684946757911e-34 +/- 4.43e-101]",
"error_mid": 6.923880207117265e-34,
"U_accuracy_bits": 1068
},
{
"n": 100,
"L": 60,
"normalized_error": "[1.05298622829802716626540667409883796670848985773720512288609e-41 +/- 5.56e-101]",
"error_mid": 1.0529862282980271e-41,
"U_accuracy_bits": 1068
},
{
"n": 400,
"L": 0,
"normalized_error": "[0.04290230732050932753439351274328225683539846999743187037014153073573615474871852280019012910773477130295669451301904484179861510750128277750486942431844488918279259378090994060290324835105465180055816298841430274683991682354872520014840081346992044795944512492382714474538385376200108 +/- 6.97e-285]",
"error_mid": 0.04290230732050933,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 1,
"normalized_error": "[0.0034499521250602977086997936900797458132081711666103383499237659882495986753545862725723401465459746 +/- 3.72e-101]",
"error_mid": 0.0034499521250602977,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 3,
"normalized_error": "[1.2319048010536548840918302006367220972196345115408110369385164196887205915664287966775600081662e-6 +/- 3.43e-101]",
"error_mid": 1.2319048010536548e-06,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 5,
"normalized_error": "[2.80311738766260251037136620408220881701931792443746249734206199320682653322296916136777558321e-8 +/- 4.28e-101]",
"error_mid": 2.8031173876626025e-08,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 10,
"normalized_error": "[2.56014775872645416769358643407224768739637078684656196443244056643681815496690693393303e-14 +/- 3.51e-101]",
"error_mid": 2.5601477587264543e-14,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 20,
"normalized_error": "[1.861998676610594780711011638075124635770631319678908748144077856436345353168e-25 +/- 2.24e-101]",
"error_mid": 1.8619986766105949e-25,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 40,
"normalized_error": "[1.8499445001921873286040979514168734704861784563239107551e-45 +/- 2.77e-101]",
"error_mid": 1.8499445001921875e-45,
"U_accuracy_bits": 941
},
{
"n": 400,
"L": 60,
"normalized_error": "[4.2380790331671974807583241435778737270464e-60 +/- 5.69e-101]",
"error_mid": 4.238079033167197e-60,
"U_accuracy_bits": 941
},
{
"n": 1600,
"L": 0,
"normalized_error": "[0.02368567623082292127080233893829692263157095197904911839626792250724875105494384111474439013600607239313420974429421096502291236271993170430452129587242286243264302534633438463527489159207042371151755449000251 +/- 2.48e-210]",
"error_mid": 0.023685676230822923,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 1,
"normalized_error": "[4.235902315942143195234274377060869197829615396676476738491214234573226756533462830927770051120993e-5 +/- 9.05e-102]",
"error_mid": 4.2359023159421435e-05,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 3,
"normalized_error": "[5.4151720304852265120577962711540390608106906538705776534709857761739064683724595044496825627946e-7 +/- 9.05e-102]",
"error_mid": 5.415172030485227e-07,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 5,
"normalized_error": "[2.324803897986256580472857705107876404718958434448017203861080136295656457311023374308640514e-11 +/- 7.15e-102]",
"error_mid": 2.3248038979862565e-11,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 10,
"normalized_error": "[1.150632281605427366855873718459616048341103532278004076133283555602107061947569931056e-17 +/- 8.05e-102]",
"error_mid": 1.1506322816054274e-17,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 20,
"normalized_error": "[9.144076912541234443548449552860529021198470103451167901899224443424397e-32 +/- 8.47e-102]",
"error_mid": 9.144076912541234e-32,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 40,
"normalized_error": "[8.309809187353075417991661641290968815103017e-58 +/- 5.23e-101]",
"error_mid": 8.309809187353075e-58,
"U_accuracy_bits": 696
},
{
"n": 1600,
"L": 60,
"normalized_error": "[3.65815345695470151832251e-78 +/- 6.94e-102]",
"error_mid": 3.6581534569547015e-78,
"U_accuracy_bits": 696
}
],
"verify_report": "<VerifyReport T693: 61/61 matched, 0 differing, 0 missing, 0 extra>",
"displayed_program_checks": 61
}