T492-repair-checks.json

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

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

{
  "tid": "T492",
  "all_checks_passed": true,
  "versions": {
    "numberdb": "0.1.10",
    "mpmath": "1.4.1"
  },
  "sage_version": "10.9",
  "mpmath_decimal_precision": 170,
  "ball_precision_bits": 560,
  "stored_decimal_intervals_checked": 600,
  "maximum_error_in_last_written_place": "0.49818189366431239116",
  "negative_order_identity_ball_checks": 120,
  "maximum_identity_residual_radius": 6.871693112107843e-160,
  "bessel_integral_arguments": [
    "1/4",
    "1",
    "13/3",
    "5",
    "10",
    "20"
  ],
  "maximum_bessel_integral_absolute_error": "3.10515810198e-171",
  "controls": [
    "integral t on [0,1] = 1/2",
    "integral sin(t) on [0,pi/2] = 1"
  ],
  "source": "https://dlmf.nist.gov/10.22#E2",
  "certification_note": "Mpmath interval comparisons are agreement checks; ball checks enclose the negative-order identity residual."
}