back to table · edit · history · where entries came from · files · download
1385 bytes, as of the version from 2026-10-28 03:22 (current). Recorded here, not run.
{
"all_passed": true,
"exact_polynomials": 21,
"independent_method": "exact interpolation in nu^2 from the Bessel polynomial n-recurrence",
"independent_polynomial_equalities": 21,
"half_integer_comparisons": 441,
"roots_checked_with_both_signs": 420,
"recurrence_checks": 20,
"ode_coefficients_vanishing": 20,
"stored_bessel_polynomials_compared": 21,
"controls": [
"y_0=1, y_1=x+1, y_2=3*x^2+3*x+1",
"interpolation reproduces 1,t,t^2",
"adding 1/7 to a_20 is detected"
],
"measurements": {
"entries": 21,
"longest": 1213,
"longest_at": 20,
"block_kb": 9.6376953125
},
"sage_version": "10.9",
"skill_manifest": "agents/runs/20261028T022135Z-build-skills/manifest.json",
"skill_sha256": "e37efb7e2ededf6c1d7134c673f152f648f26e0267c556aebdf3ec65765d8b4c",
"values_read_back_from_api": false,
"stage": "build; independent critique pending",
"sources": [
"https://dlmf.nist.gov/10.17#E1",
"https://dlmf.nist.gov/10.40#E2",
"https://dlmf.nist.gov/10.49#E1",
"https://dlmf.nist.gov/10.49#E12",
"https://dlmf.nist.gov/10.25#E1",
"https://numberdb.org/Bessel_polynomials"
],
"precision": "Exact rational coefficients; no approximation or truncated-function accuracy claim.",
"serialization": "Single-letter v denotes the mathematical Bessel order nu; coefficients and normalization unchanged."
}