back to table · edit · history · where entries came from · files · download
623 bytes, as of the version from 2026-10-25 13:21 (current). Recorded here, not run.
{
"sage_version": "10.9",
"arb_precision_bits": 896,
"half_integer_nonzero_control": "passed",
"source_entry": "T487#0,2,1",
"source_number": "3.123030919595692205078465748218145438304251329564707797527152754704441046662802309032711795323143293",
"target_entry": "Dirichlet_eigenvalues_of_the_classical_planar_domains#annulus-1-2,1",
"target_number": "9.75332212475071491068952390873",
"source_interval_endpoint_signs": [
"positive",
"negative"
],
"squared_source_interval_inside_target_interval": true,
"scope": "The linked annulus comparison only; no new certification of the full table."
}