checks-offline-summary.json

back to table · edit · history · where entries came from · files · download

1646 bytes, as of the version from 2026-10-27 01:11 (current). Recorded here, not run.

{
  "stored": false,
  "counts": {
    "rows": 600,
    "integral_enclosures": 600,
    "mpmath": 600,
    "half_orders": 240,
    "recurrences": 600,
    "rotation": 600,
    "negative_order": 120,
    "bessel_integral": 120,
    "stored_bessel_arguments": 0
  },
  "measurement": {
    "entries": 600,
    "longest": 105,
    "longest_at": "(2, 1/4)",
    "block_kb": 84.017578125
  },
  "maxima": {
    "generator_radius": "[8.53128365420666627277435859723921937432961823725893879809412540739472834500725778886369223448246827632669673598505566911019771119404471783926806630899245268388571048813484056420456216747e-111 +/- 1.35e-297]",
    "generator_relative_radius": "[2.74427362676468353770119365314825860766033030889223880844558372530777623393225481957549037619710736330508018188205484e-118 +/- 1.47e-235]",
    "quadrature_radius": "[2.75200741812801900241677665700782735256254065819853119397934752331788810658542843983865001174815027235321199193826141144503506013841502395709909532772516640529197105247408727062764727247e-135 +/- 2.73e-321]",
    "quadrature_relative_radius": "[8.054487895121377758040365743923985706478535093630924830157213095782691916010577678057967300695980987843008883148303005944491747641752147818324e-143 +/- 7.52e-285]",
    "i0_tail_bound": "[3.82568644275979002923796623496272679915204624632045314581444373621047302443615727903716559875697660981024961715764849574798884014990041692581796162374568681809569728906143344676929e-487 +/- 1.94e-667]"
  },
  "versions": {
    "numberdb": "0.1.10",
    "sage": "10.9",
    "mpmath": "1.4.1"
  },
  "working_bits": 397,
  "quadrature_bits": 480,
  "identity_bits": 600
}