back to table · edit · history · where entries came from · files · download
11639 bytes, as of the version from 2026-10-26 04:07 (current). Recorded here, not run.
{
"existing_bounded_checks": {
"table": "T504",
"mode": "stored",
"versions": {
"sage": "10.9",
"python": "3.12.3",
"numberdb": "0.1.10"
},
"entries": 12,
"all_passed": true,
"controls_passed": true,
"gamma_r1_passed": true,
"strictly_decreasing": true,
"working_bits": 429,
"minimum_accuracy_bits": 427,
"measured_serialized": {
"entries": 12,
"longest": 101,
"longest_at": 1,
"block_kb": 1.6083984375
},
"values": {
"1": "1.086434811213308014575316121510223457070205707245218885920790315981856732267109795960561618489679764",
"2": "1.023523999341005863497798656724971852564914607948784741872151985874134797767846031113022857746876019",
"3": "1.008666841725232885465487417162683667430282464328049143567062350007344780563743555049119741420707616",
"4": "1.003734885487739091047679595066953866207994332444519408254958153247325173329563798056949832166444235",
"5": "1.001779064615381202177110882475934358381789965777873877326019094360370487732371453217220866622341394",
"6": "1.000909921887256762919286004121566671804588146730301330859241796813958542087950056332754220221829115",
"7": "1.000491167326285921785729793827326814658794622363230300853476431606564563510667592176560174287530005",
"8": "1.000276688372042286062204483364677742495813309527477822501068232932101445703821825857121558297222172",
"9": "1.000161399035140694021502070389399573887508391242375289372799863139144370455187453485128542493007120",
"10": "1.000096937793894731568940341141091584051440682580458400192358357278780556122688022522470605141859220",
"11": "1.000059690546777789512636720096492035760291811758082056798821874345795941139126435209508247341058958",
"12": "1.000037557066632685136150730727319517179060309415959268140310001982398439203354621330178456862954173"
},
"evidence": [
{
"r": 1,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 2,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 3,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 4,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 5,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 6,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 7,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 8,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 9,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 10,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 11,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
},
{
"r": 12,
"production_accuracy_bits": 427,
"series_accuracy_bits": 510,
"checks": [
"bounded theta series",
"Jacobi quartic identity",
"eta product identity",
"T295 parameter",
"elliptic K from T295",
"T296 value",
"complementary elliptic ratio",
"T297 Ramanujan and Weber",
"T299 elliptic alpha"
]
}
]
},
"additional_checks": {
"mpmath": "1.4.1",
"decimal_precision": 160,
"tolerance": "1.0e-145",
"controls_passed": true,
"all_passed": true,
"evidence": [
{
"r": 1,
"residuals": {
"integral_vs_ellipk": "1.77820699959e-161",
"integral_vs_theta": "0.0",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "1.06692419975e-160",
"quartic": "8.89103499794e-162"
},
"eta_relative_remainder_bound": "2.49337902777e-276"
},
{
"r": 2,
"residuals": {
"integral_vs_ellipk": "0.0",
"integral_vs_theta": "0.0",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "4.44551749897e-161",
"quartic": "0.0"
},
"eta_relative_remainder_bound": "1.72628398623e-390"
},
{
"r": 3,
"residuals": {
"integral_vs_ellipk": "1.77820699959e-161",
"integral_vs_theta": "0.0",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "3.55641399918e-161",
"quartic": "8.89103499794e-162"
},
"eta_relative_remainder_bound": "4.36351752519e-478"
},
{
"r": 4,
"residuals": {
"integral_vs_ellipk": "0.0",
"integral_vs_theta": "0.0",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "2.22275874949e-161",
"quartic": "0.0"
},
"eta_relative_remainder_bound": "6.19376270147e-552"
},
{
"r": 5,
"residuals": {
"integral_vs_ellipk": "0.0",
"integral_vs_theta": "0.0",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "4.44551749897e-162",
"quartic": "8.89103499794e-162"
},
"eta_relative_remainder_bound": "5.37859667122e-617"
},
{
"r": 6,
"residuals": {
"integral_vs_ellipk": "0.0",
"integral_vs_theta": "0.0",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "4.44551749897e-162",
"quartic": "0.0"
},
"eta_relative_remainder_bound": "8.14275776808e-676"
},
{
"r": 7,
"residuals": {
"integral_vs_ellipk": "1.77820699959e-161",
"integral_vs_theta": "1.77820699959e-161",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "4.44551749897e-162",
"quartic": "8.89103499794e-162"
},
"eta_relative_remainder_bound": "6.61140222723e-730"
},
{
"r": 8,
"residuals": {
"integral_vs_ellipk": "0.0",
"integral_vs_theta": "1.77820699959e-161",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "1.77820699959e-161",
"quartic": "8.89103499794e-162"
},
"eta_relative_remainder_bound": "2.97923196822e-780"
},
{
"r": 9,
"residuals": {
"integral_vs_ellipk": "0.0",
"integral_vs_theta": "0.0",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "6.66827624846e-162",
"quartic": "0.0"
},
"eta_relative_remainder_bound": "1.5414504706e-827"
},
{
"r": 10,
"residuals": {
"integral_vs_ellipk": "1.77820699959e-161",
"integral_vs_theta": "0.0",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "4.44551749897e-162",
"quartic": "8.89103499794e-162"
},
"eta_relative_remainder_bound": "2.90772620338e-872"
},
{
"r": 11,
"residuals": {
"integral_vs_ellipk": "1.77820699959e-161",
"integral_vs_theta": "1.77820699959e-161",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "4.44551749897e-162",
"quartic": "0.0"
},
"eta_relative_remainder_bound": "8.41130571522e-915"
},
{
"r": 12,
"residuals": {
"integral_vs_ellipk": "0.0",
"integral_vs_theta": "0.0",
"eta_nome_conventions": "0.0",
"eta_vs_theta_identity": "8.89103499794e-162",
"quartic": "0.0"
},
"eta_relative_remainder_bound": "1.90395701088e-955"
}
]
}
}