T494-repair-checks.json

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

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

{
  "sage_version": "10.9",
  "mpmath_version": "1.4.1",
  "working_bits": 600,
  "mpmath_dps": 170,
  "stored_rows_checked": 600,
  "arguments_checked": 120,
  "negative_order_checks": 120,
  "negative_controls_rejected": 120,
  "negative_order_residual_radius_max": "1.3108715e-171",
  "max_mpmath_discrepancy_ulps": "0.4976546234488832246147169936477251399867",
  "derivation": "In the absolutely convergent defining series for L_-1, the k=0 term is 2/pi. Reindexing k=j+1 makes every remaining term exactly the j-th term of L_1, since the two gamma factors are exchanged.",
  "all_checks_passed": true
}