back to table · edit · history · where entries came from · files · download
2199 bytes, as of the version from 2026-11-02 11:02 (current). Recorded here, not run.
[
{
"kind": "environment",
"sage": "10.9",
"pari": "(2, 17, 1)",
"mpmath": "1.4.1"
},
{
"kind": "structure",
"entries": 15,
"significant_digits": 100,
"generator_digits": 100,
"ordered_enumeration_equal": true,
"radical_labels_exact": true
},
{
"kind": "independent_lvalue",
"bits": 550,
"conductors": [
36,
144
],
"zeta_control_absolute_error": "5.42665710323505244981131204655898461160284316763893504268454732170086818592253134188371396914621276909129781652579266043424484676159431012673752035304793730864276643e-166",
"value": "22.4679681377881864293199494802038970604981677468325114018079628918829901316880001681373531049653475470751219124419027935974141737277651521221493311354425281745970179",
"stored_midpoint_error_ulp": "0.292487808755809720640258582627223484787785066886455747182540298213521524107144773951185932703098568228429216724598135496947512692602825154768534500367643393622359332",
"rigour": "heuristic comparison, not a certified enclosure"
},
{
"kind": "independent_lvalue",
"bits": 650,
"conductors": [
36,
144
],
"zeta_control_absolute_error": "0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"value": "22.4679681377881864293199494802038970604981677468325114018079628918829901316880001681373531049653475470751219124419027935974141737277651521221493311354425281745970178656516137240471856302053031368",
"stored_midpoint_error_ulp": "0.292487808755809720640258582627223484787785066886455747182540298213434838627595281436979469686322295573070294996339270884209409856183271086783007519854729774386015911686159001269166465279634669241",
"rigour": "heuristic comparison, not a certified enclosure"
},
{
"kind": "agreement",
"relative_digits": "165.688627784823825923791924876249319415786440766290336024062072266648886408944435548857316862105276706440418602262078635143211670866407359489947714513253141262780350748312138977030833690294148442",
"new_values_written": 0
}
]