back to table · edit · history · where entries came from · files · download
12369 bytes, as of the version from 2026-10-27 01:02 (current). Recorded here, not run.
{
"tid": "T178",
"entries": 32,
"digits": 100,
"controls": {
"gamma_1_1_equals_exp_minus_1": true,
"beta_half_half_at_half_equals_pi_over_2": true,
"rational_beta_2_2_at_half_equals_1_over_12": true,
"hypergeometric_at_zero_equals_1": true,
"polylogarithm_at_zero_equals_0": true
},
"records": [
{
"parameters": {
"r": "2",
"x": "1/2"
},
"number": "1.180340599016096226045337940558488587233716634881447299515864399404304180720715794978458616195807954",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 486,
"shifted_decimal_rejected": true,
"identity_check": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "3",
"x": "1/2"
},
"number": "1.159595266963928365769992051570020881945165263439782855263105059747973757205286258658085251051146071",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 486,
"shifted_decimal_rejected": true,
"identity_check": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "4",
"x": "1/2"
},
"number": "1.133915559726082732440156510347438791344295356805403611236317061400497913023777214458207113170347034",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 487,
"shifted_decimal_rejected": true,
"identity_check": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "6",
"x": "1/2"
},
"number": "1.098430696839862068942935161608698822283938481692253723027033945469518521905843821564973446230505442",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 486,
"shifted_decimal_rejected": true,
"identity_check": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "2",
"x": "0"
},
"number": "1",
"exact_result": "1",
"stored_exact": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "2",
"x": "1/4"
},
"number": "1.073182007149364375052841707970349795669526818631368625787232257139788343028625222768722717743272285",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 488,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "2",
"x": "3/4"
},
"number": "1.372880500618350164697637575007806058094538625348940055855540038870350633240892464904292347403572711",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 485,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "2",
"x": "1/3"
},
"number": "1.103845772797212254324837694207631411924760802239391086997330526905118375631119575423168443314817465",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 491,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "2",
"x": "2/3"
},
"number": "1.291675482135082644544318504760649923199863516052326580950539239585172786733440152066839813967604411",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 491,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "2",
"x": "1/9"
},
"number": "1.029660375463762623523228181255854543570903969011705041891655029152762974930669348678219260552679533",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 491,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "2",
"x": "8/9"
},
"number": "1.609773010724046562579262561955524693504290227947052938680848385709682514542937834153084076614908428",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 483,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "3",
"x": "0"
},
"number": "1",
"exact_result": "1",
"stored_exact": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "3",
"x": "1/4"
},
"number": "1.064925231128516498437819437604916718248282322874928859475392443772515623080612622146534197451821389",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 487,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "3",
"x": "3/4"
},
"number": "1.328778200157056363878073355047905281137317875982473604891262407713582251790491637816553512224526597",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 484,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "3",
"x": "1/3"
},
"number": "1.092060148081664394316757805253605515050933694436801793669960490099214146997645089823341657245948803",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 486,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "3",
"x": "2/3"
},
"number": "1.257546863411625467745864646361554193208060216425676017110925090768116861297340574645820318884594719",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 485,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "3",
"x": "1/9"
},
"number": "1.026343520841566885711818335651046428274180826014178666730958109479707060905841596720020526615780503",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 488,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "3",
"x": "8/9"
},
"number": "1.535812809958194137289311853725147146475663454326775827621496728753103561572492083134212409167445065",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 482,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "4",
"x": "0"
},
"number": "1",
"exact_result": "1",
"stored_exact": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "4",
"x": "1/4"
},
"number": "1.054648614831467047906718149577441840630273364763410414893082861937658163667864603886693740230931228",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 488,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "4",
"x": "3/4"
},
"number": "1.274611308136601952102809952021133623397842247250675660982363975799881719700368808191505969508039952",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 485,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "4",
"x": "1/3"
},
"number": "1.077415715750701203246257098513742012348092021182187093026426589300763704600445579059592620512413547",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 491,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "4",
"x": "2/3"
},
"number": "1.215502554868454386941982217997043941288277531484048915816265650173538426379192234806255033882957850",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 491,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "4",
"x": "1/9"
},
"number": "1.022204943866080919860161806857062989134020137789994880270437701856939901361339037391092749731504665",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 491,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "4",
"x": "8/9"
},
"number": "1.445616095140239952072718914467638749495268402565399677644614166992051212768192453714749044140042691",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 483,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "6",
"x": "0"
},
"number": "1",
"exact_result": "1",
"stored_exact": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "6",
"x": "1/4"
},
"number": "1.040343865043574145416878113346879640594465685268916549682386133655136588848837323908014059028010148",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 487,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "6",
"x": "3/4"
},
"number": "1.200547022551705970623606133782633712417243715140519123069736520860927175815592908672157063181494441",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 485,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "6",
"x": "1/3"
},
"number": "1.057076261613892128402122962965324995470501889069986725795375244685741777798779952700216143078965700",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 487,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "6",
"x": "2/3"
},
"number": "1.157778216364893874950561674893505207806365917352306655090978043246823064194951989915747252390826364",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 486,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "6",
"x": "1/9"
},
"number": "1.016424899916147157209316669882466843802873309665909634999036140962440390965478130838565284637450640",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 488,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
},
{
"parameters": {
"r": "6",
"x": "8/9"
},
"number": "1.323467526740777845709483066819782686939481648265356144701869051624955722200944233060569225543086875",
"decimal_contains_enclosure": true,
"certified_accuracy_bits": 483,
"shifted_decimal_rejected": true,
"independent_precisions": [
150,
200
]
}
],
"rigour": "proven",
"minimum_certified_accuracy_bits": 482,
"working_guard_bits": 160,
"identity_checks": 4,
"exact_rows": 4
}