back to table · edit · history · where entries came from · files · download
5701 bytes, as of the version from 2026-10-27 01:12 (current). Recorded here, not run.
{
"tid": "T511",
"count": 11,
"all_passed": true,
"controls": [
"pi_interval",
"displaced_value_rejected",
"integral_t_equals_half"
],
"minimum_accuracy_bits": 865,
"records": [
{
"params": {
"ell": "0",
"eta": "2",
"rho": "4"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 890,
"argument": "4.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "0",
"eta": "2",
"rho": "5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 891,
"argument": "5.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "1",
"eta": "0",
"rho": "sqrt(2)"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 895,
"argument": "[1.414213562373095048801688724209698078569671875376948073176679737990732478462107038850387534327641572735013846230912297024924836056 +/- 1.50e-130]",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "1",
"eta": "2",
"rho": "2+sqrt(6)"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 867,
"argument": "[4.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640234818594601226614189124858865460 +/- 1.63e-130]",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "1",
"eta": "2",
"rho": "5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 892,
"argument": "5.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "2",
"eta": "0",
"rho": "sqrt(6)"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 894,
"argument": "[2.449489742783178098197284074705891391965947480656670128432692567250960377457315026539859433104640234818594601226614189124858865460 +/- 1.63e-130]",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "2",
"eta": "2",
"rho": "2+sqrt(10)"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 865,
"argument": "[5.162277660168379331998893544432718533719555139325216826857504852792594438639238221344248108379300295187347284152840055148548856030 +/- 4.54e-130]",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "2",
"eta": "2",
"rho": "5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 891,
"argument": "5.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "3",
"eta": "0",
"rho": "sqrt(12)"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 894,
"argument": "[3.464101615137754587054892683011744733885610507620761256111613958903866033817600074162292373514497151351252282830813406059939890190 +/- 2.12e-132]",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "3",
"eta": "2",
"rho": "6"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 893,
"argument": "6.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
},
{
"params": {
"ell": "3",
"eta": "2",
"rho": "5"
},
"stored_interval_contains_ball": true,
"accuracy_bits": 893,
"argument": "5.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_certificate": null,
"mpmath_160_digits": true,
"mpmath_210_digits": true,
"wronskian_and_free_case": true
}
],
"retained_identifiers_and_text": [
{
"ell": "0",
"eta": "2",
"rho": "5"
},
{
"ell": "1",
"eta": "2",
"rho": "5"
},
{
"ell": "2",
"eta": "2",
"rho": "5"
},
{
"ell": "3",
"eta": "2",
"rho": "5"
}
]
}