back to table · edit · history · where entries came from · files · download
10835 bytes, as of the version from 2026-10-27 01:07 (current). Recorded here, not run.
{
"table": "T193",
"entries": 30,
"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": "1*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1103,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "3*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1101,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "5*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1101,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "7*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "9*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1101,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "11*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "13*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "15*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "17*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "19*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "21*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "23*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "25*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "27*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "29*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "31*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "33*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "35*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "37*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "39*pi/2",
"family": "retained",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1099,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": null
},
{
"argument": "1/4",
"family": "simple-integral",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
},
{
"argument": "1/2",
"family": "simple-integral",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
},
{
"argument": "1",
"family": "simple-integral",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
},
{
"argument": "2",
"family": "simple-integral",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
},
{
"argument": "4",
"family": "simple-integral",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
},
{
"argument": "8",
"family": "simple-integral",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1104,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
},
{
"argument": "1*pi",
"family": "complementary-phase",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1102,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
},
{
"argument": "2*pi",
"family": "complementary-phase",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1100,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
},
{
"argument": "3*pi",
"family": "complementary-phase",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1097,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
},
{
"argument": "4*pi",
"family": "complementary-phase",
"digits": 100,
"certified_interval_contained": true,
"arb_accuracy_bits": 1098,
"root_bracket_checked": false,
"mpmath_decimal_precisions": [
150,
200
],
"transformed_integral": "independent finite-interval mpmath quadrature at 170 dps"
}
],
"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": 6915,
"retained_count": 20,
"added_count": 10
}
}