back to table · edit · history · where entries came from · files · download
4985 bytes, as of the version from 2026-10-26 04:51 (current). Recorded here, not run.
{
"sage": "10.9",
"numberdb": "0.1.10",
"bits": 512,
"known_value_control": true,
"wrong_sign_control": true,
"branch_checks": [
{
"tau": "1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 + 1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*I",
"principal_root": "[1.098684113467809966039801195240678378544393120927157743744411578842875053555284811136536066356415925498905920776734121405463471014371976657215590935155051 +/- 2.72e-154] + [-0.4550898605622273413043577578224685696201903784831500925882595694908002032334482915914018197610208489939778127669325447907399783207273541762019425936858425 +/- 5.20e-155]*I",
"identity": true,
"opposite_root_rejected": true
},
{
"tau": "-1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 + 1.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000*I",
"principal_root": "[1.098684113467809966039801195240678378544393120927157743744411578842875053555284811136536066356415925498905920776734121405463471014371976657215590935155051 +/- 2.72e-154] + [0.4550898605622273413043577578224685696201903784831500925882595694908002032334482915914018197610208489939778127669325447907399783207273541762019425936858425 +/- 5.20e-155]*I",
"identity": true,
"opposite_root_rejected": true
},
{
"tau": "0.50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 + [0.866025403784438646763723170752936183471402626905190314027903489725966508454400018540573093378624287837813070707703351514984972547499476239405827756047187 +/- 3.15e-154]*I",
"principal_root": "[0.965925826289068286749743199728897367633904839008404550402343076310423213979855516347561741858070451888402111864381621537445925378922123638567476362084304 +/- 5.76e-154] + [-0.2588190451025207623488988376240483283490689013199305138140032073150569747488019969223679746942496655208951887489254730249835073509967550322454156135343357 +/- 6.17e-155]*I",
"identity": true,
"opposite_root_rejected": true
}
],
"rows": [
{
"r": 1,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 509
},
{
"r": 2,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 509
},
{
"r": 3,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 509
},
{
"r": 4,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 509
},
{
"r": 5,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 509
},
{
"r": 6,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 509
},
{
"r": 7,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 509
},
{
"r": 8,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 508
},
{
"r": 9,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 509
},
{
"r": 10,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 508
},
{
"r": 11,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 508
},
{
"r": 12,
"stored_encloses_arb_and_product": true,
"positive_root": true,
"reciprocity": true,
"ten_ulp_control_rejected": true,
"eta_accuracy_bits": 508
}
],
"all_passed": true
}