back to table · edit · history · where entries came from · files · download
11835 bytes, as of the version from 2026-10-27 01:06 (current). Recorded here, not run.
{
"table": "T201",
"entries": 35,
"controls": [
"integral(t^2,0,3)=9",
"integral(exp(-t),0,1)=1-exp(-1)",
"Ai(0) gamma identity",
"exact erf/erfc/Fresnel origins",
"independent mpmath polynomial quadrature"
],
"records": [
{
"argument": "0",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-1",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1102,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1101,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-3",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-4",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-5",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-6",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-7",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-8",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-9",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-10",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-11",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-12",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-13",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-14",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-15",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-16",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-17",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-18",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-19",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "ai-zero-20",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": true,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "-1/2",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "1/2",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "-1",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "1",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "-2",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "2",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "-4",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "4",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "-8",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "8",
"family": "simple-real",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "-2/cbrt(3)",
"family": "unit-cubic",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1101,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "-1/cbrt(3)",
"family": "unit-cubic",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1102,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "1/cbrt(3)",
"family": "unit-cubic",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1102,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "2/cbrt(3)",
"family": "unit-cubic",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1101,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
}
],
"versions": {
"numberdb": "0.1.10",
"python-flint": "0.6.0",
"mpmath": "1.3.0"
},
"source_sha256": {
"balanced_values.py": "1333dc603c1a65159dbffe7c263998a058f74537e1d8e961468339b0291e2d1a",
"balanced_checks.py": "875e34e73c5c5937623ab19f780d00c47330ac87242729f279b0e7fc7f0a44d3"
},
"structure": {
"all_original_entries_identical": true,
"all_original_comments_identical": true,
"parameter_order_preserved": true,
"complete_generator_enumeration": true,
"new_arguments_exactly_deduplicated": true,
"new_unresolved_citations": [],
"entries_block_bytes": 7867,
"retained_count": 21,
"added_count": 14
}
}