back to table · edit · history · where entries came from · files · download
17662 bytes, as of the version from 2026-10-27 01:12 (current). Recorded here, not run.
{
"tid": "T511",
"all_passed": true,
"controls": [
"pi",
"displaced_value_rejected",
"nan_rejected",
"wide_ball_rejected",
"integral_t_equals_half",
"Q0_logarithm",
"F0_free_sine",
"G0_free_cosine"
],
"source_sha256": {
"balanced_checks.py": "7d29b572b3d3edcbb0ff9861c8eb1116777d72f0fdaa1282274fdb93adfd5c62",
"balanced_generate.py": "1bac17812c98ca64baf6d54ba58e3bbdd947796f28c27cef6fab748461aee6ed"
},
"selection_sha256": "2bdc2d02825acc33091d1db39ab4250d0fce10dee9666ac6bd4a7bafd2bde19d",
"count": 50,
"independently_checked_additions": 39,
"minimum_accuracy_bits": 965,
"records": [
{
"params": {
"ell": "0",
"eta": "2",
"rho": "4"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 990
},
{
"params": {
"ell": "0",
"eta": "2",
"rho": "5"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 991
},
{
"params": {
"ell": "1",
"eta": "0",
"rho": "sqrt(2)"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 995
},
{
"params": {
"ell": "1",
"eta": "2",
"rho": "2+sqrt(6)"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 967
},
{
"params": {
"ell": "1",
"eta": "2",
"rho": "5"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 992
},
{
"params": {
"ell": "2",
"eta": "0",
"rho": "sqrt(6)"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 994
},
{
"params": {
"ell": "2",
"eta": "2",
"rho": "2+sqrt(10)"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 965
},
{
"params": {
"ell": "2",
"eta": "2",
"rho": "5"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 992
},
{
"params": {
"ell": "3",
"eta": "0",
"rho": "sqrt(12)"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 994
},
{
"params": {
"ell": "3",
"eta": "2",
"rho": "6"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 993
},
{
"params": {
"ell": "3",
"eta": "2",
"rho": "5"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 993
},
{
"params": {
"ell": "0",
"eta": "0",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 998,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"free_wave_elementary_recurrence"
]
},
{
"params": {
"ell": "0",
"eta": "1",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 986,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "-1",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 991,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "1",
"eta": "0",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 998,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"free_wave_elementary_recurrence"
]
},
{
"params": {
"ell": "1",
"eta": "1",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 987,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "1",
"eta": "1",
"rho": "1+sqrt(3)"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 982,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"turning_coefficient_zero"
]
},
{
"params": {
"ell": "1",
"eta": "-1",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 991,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "1",
"eta": "-1",
"rho": "-1+sqrt(3)"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 991,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"turning_coefficient_zero"
]
},
{
"params": {
"ell": "2",
"eta": "0",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"free_wave_elementary_recurrence"
]
},
{
"params": {
"ell": "2",
"eta": "1",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 991,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "2",
"eta": "1",
"rho": "1+sqrt(7)"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 978,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"turning_coefficient_zero"
]
},
{
"params": {
"ell": "2",
"eta": "-1",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 992,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "2",
"eta": "-1",
"rho": "-1+sqrt(7)"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 990,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"turning_coefficient_zero"
]
},
{
"params": {
"ell": "3",
"eta": "0",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"free_wave_elementary_recurrence"
]
},
{
"params": {
"ell": "3",
"eta": "1",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 993,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "3",
"eta": "1",
"rho": "1+sqrt(13)"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 974,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"turning_coefficient_zero"
]
},
{
"params": {
"ell": "3",
"eta": "-1",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 992,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "3",
"eta": "-1",
"rho": "-1+sqrt(13)"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 989,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"turning_coefficient_zero"
]
},
{
"params": {
"ell": "0",
"eta": "0",
"rho": "1/2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 998,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"free_wave_elementary_recurrence"
]
},
{
"params": {
"ell": "0",
"eta": "1",
"rho": "1/2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 988,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "-1",
"rho": "1/2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 989,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "0",
"rho": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 998,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"free_wave_elementary_recurrence"
]
},
{
"params": {
"ell": "0",
"eta": "1",
"rho": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 993,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "-1",
"rho": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 994,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "0",
"rho": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 997,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"free_wave_elementary_recurrence"
]
},
{
"params": {
"ell": "0",
"eta": "1",
"rho": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 993,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "-1",
"rho": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 993,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "0",
"rho": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 997,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"free_wave_elementary_recurrence"
]
},
{
"params": {
"ell": "0",
"eta": "1",
"rho": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 993,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "-1",
"rho": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 992,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "0",
"rho": "8"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 998,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one",
"free_wave_elementary_recurrence"
]
},
{
"params": {
"ell": "0",
"eta": "1",
"rho": "8"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 992,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "-1",
"rho": "8"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 992,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "1",
"eta": "1",
"rho": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 993,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "1",
"eta": "-1",
"rho": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 993,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "1/2",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 989,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "-1/2",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 990,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "2",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 982,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
},
{
"params": {
"ell": "0",
"eta": "-2",
"rho": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 992,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"coulomb_wronskian_equals_one"
]
}
],
"limitations": "Retained values are fully Arb-recomputed; new values additionally have independent mpmath and family-identity checks. Existing manual numbers and annotations are not claimed to originate in this run."
}