stored-checks.txt

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

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

<VerifyReport T491: 360/360 matched, 0 differing, 0 missing, 0 extra>
Controls passed: rational series (ber, bei)=(1,0), integrals J_0(0)=1 and J_1(0)=J_2(0)=0.
checked 60/360: series, I-rotation, reflections, mpmath, Bessel integral
checked 120/360: series, I-rotation, reflections, mpmath, Bessel integral
checked 180/360: series, I-rotation, reflections, mpmath, Bessel integral
checked 240/360: series, I-rotation, reflections, mpmath, Bessel integral
checked 300/360: series, I-rotation, reflections, mpmath, Bessel integral
checked 360/360: series, I-rotation, reflections, mpmath, Bessel integral
[0.2495660400366597214193598483103401318023527752790453715893695046816025858430386535727318088538281783142246388120244476 +/- 4.10e-119]
0.2495660400366597214193598483103401318023527752790453715893695046816025858430386535727318088538281783
{
  "mode": "stored",
  "table": "T491",
  "entries": 360,
  "size": {
    "entries": 360,
    "longest": 105,
    "longest_at": [
      "2",
      "1/4"
    ],
    "block_kb": 51.73046875
  },
  "precision_bits": 397,
  "maximum_generator_radius": "[2.65781401356271576615929898889552124065772874833235592362944846230792602476467219943401470238712544613847888128302623989371416524284321742326431892979582064635134310067876350623347972202e-113 +/- 2.77e-299]",
  "maximum_generator_relative_radius": "[5.61675895874735487146127230718108416609643035630948137146594772387528179406554853765397485998123944221169569607230e-115 +/- 4.89e-229]",
  "maximum_series_tail_bound": "[1.61175494825767632594406096438917991284623477256227403633126233497804545673199769325126264472613379682233894161759121744883622051647207060900880241035667183671320211073809308281233e-350 +/- 3.11e-530]",
  "maximum_mpmath_relative_error": "7.642611224e-116",
  "maximum_quadrature_relative_error": "1.08186421e-122",
  "recurrences_checked": 120,
  "maximum_recurrence_scaled_radius": "[8.8704329767913208680736485193393095134480985813639816174831880654467617763109752434948362375105195e-100 +/- 4.01e-198]",
  "Sage": "10.9",
  "mpmath": "1.4.1",
  "numberdb": "0.1.10",
  "passed": true
}