back to table · edit · history · where entries came from · files · download
8095 bytes, as of the version from 2026-10-27 01:11 (current). Recorded here, not run.
{
"tid": "T494",
"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": "29f73e56ae3d7ff86eae99ad3349ca8bfc72a4e9ec3e294ae2a0d46e79d1bf13",
"count": 23,
"independently_checked_additions": 19,
"minimum_accuracy_bits": 995,
"records": [
{
"params": {
"nu": "0",
"x": "0"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": null
},
{
"params": {
"nu": "0",
"x": "1"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 996
},
{
"params": {
"nu": "1",
"x": "0"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": null
},
{
"params": {
"nu": "1",
"x": "1"
},
"origin": "retained website entry",
"stored_interval_contains_ball": true,
"accuracy_bits": 996
},
{
"params": {
"nu": "0",
"x": "1/2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "0",
"x": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "0",
"x": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "0",
"x": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "0",
"x": "8"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "1",
"x": "1/2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "1",
"x": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.38513228288e-151"
},
{
"params": {
"nu": "1",
"x": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "8.9940667681e-152"
},
{
"params": {
"nu": "1",
"x": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.02997592125e-151"
},
{
"params": {
"nu": "1",
"x": "8"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.07247146002e-151"
},
{
"params": {
"nu": "3",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "4",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.0740650293e-151"
},
{
"params": {
"nu": "1/2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"elementary_half_order_formula"
],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "3/2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "9.05611077612e-152"
},
{
"params": {
"nu": "5/2",
"x": "1"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [],
"integral_relative_error": "1.37725115358e-151"
},
{
"params": {
"nu": "1/2",
"x": "2"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 997,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"elementary_half_order_formula"
],
"integral_relative_error": "9.80150273066e-152"
},
{
"params": {
"nu": "1/2",
"x": "3"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 996,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"elementary_half_order_formula"
],
"integral_relative_error": "0.0"
},
{
"params": {
"nu": "1/2",
"x": "5"
},
"origin": "balanced expansion",
"stored_interval_contains_ball": true,
"accuracy_bits": 995,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"structural_checks": [
"elementary_half_order_formula"
],
"integral_relative_error": "0.0"
}
],
"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."
}