back to table · edit · history · where entries came from · files · download
10865 bytes, as of the version from 2026-10-26 15:42 (current). Recorded here, not run.
{
"tid": "T246",
"entries": 31,
"python_flint": "0.6.0",
"mpmath": "1.3.0",
"working_bits": 493,
"minimum_certified_accuracy_bits": 478,
"identity_checks": 2,
"exact_rows": 0,
"nonzero_control_passed": true,
"records": [
{
"parameters": {
"s": "0"
},
"number": "1.837877066409345483560659472811235279722794947275566825634303080965531391854520795389486597271908395",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "1/2"
},
"number": "2.686091709612832791116478748724871144507269625811776921584451315495547282857339698426088863613775527",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-1"
},
"number": "1.985053724405411150567035922913367713168436564022421403998267676288316395998926073114301203990105066",
"certified_accuracy_bits": 487,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "2"
},
"number": "-0.5699609930945328063998643600197300024034822808069309795581973604379172773667406067878675434264499217",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "3"
},
"number": "-0.1648226821582772401864933947994750650230095804224032708717453372762869598655773519080862678086888914",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-3"
},
"number": "0.6454291629329161373300369052496611474797327690754608471336427867989402397508883503314124644990819921",
"certified_accuracy_bits": 485,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "4"
},
"number": "-0.06366976495537112649619867568935677004811181919330375602690580428187445445203621733831213726876018063",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "5"
},
"number": "-0.02755619219153047054461103190802827770376028295880322922674541929458396936254459150728987967871724563",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-5"
},
"number": "0.1443924670100560716577305255061363773400047973822793468908395540114292279004094769820806342811965275",
"certified_accuracy_bits": 482,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "6"
},
"number": "-0.01263306903251106082389229594583199990838384750012225578410257149436344260155734398898030705087471609",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "7"
},
"number": "-0.005983558570638396153781990333460225134012328034877668923220680346408402770881248774204870032476375934",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-7"
},
"number": "-0.1748742432382177565921360051160865468566930530221003964727326769942234109265543791255791460033078511",
"certified_accuracy_bits": 482,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "8"
},
"number": "-0.002890168308046756383549574847418599521209806619552036230054150012520327584117297405130050575894146993",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "9"
},
"number": "-0.001413144078811703121012095454036393626895725107635591686008221013599789501139270525809732170719772623",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-9"
},
"number": "-0.4131791822120916036502014143836789647523562942435601073674775831173825517887129412488556733896021093",
"certified_accuracy_bits": 482,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "10"
},
"number": "-0.0006963404452840204365952766909372927366576765092034364464203550004722978330698463929646343007109998839",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "11"
},
"number": "-0.0003448518005384273275108214836032865189778239275820408156661224266380105051939475265309041019086924813",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-11"
},
"number": "-0.6046132728852498614746713965421955826315305032617682082586844744124014587895109480758593638906759630",
"certified_accuracy_bits": 483,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "12"
},
"number": "-0.0001713406812166717030343854415115839483925584000862446461225546145442999231809304750518528905462371316",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "13"
},
"number": "-0.00008531343955816884070010228640739709656841860478824819474155623821058274564192234646014170985102771613",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-13"
},
"number": "-0.7649984849349225634324641776800206677859282637531018966212106306528447704188002451365112137842991583",
"certified_accuracy_bits": 483,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "14"
},
"number": "-0.00004253888795422615549801456009675520425120816516281269385280863051124470414804367081025940717945212122",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "15"
},
"number": "-0.00002123043613140305293086512223345424732880022557423978622797904006874646160679029754140368306765212525",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-15"
},
"number": "-0.9031256596381091638826694473225917048278385667493671068173383057601569095933725071153921891226913662",
"certified_accuracy_bits": 483,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "16"
},
"number": "-0.00001060228000572094338798301276381340043614326413569773582037161843720076767101978716737930688248227140",
"certified_accuracy_bits": 478,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "17"
},
"number": "-0.000005296842904493593945793228089119436323902472655806950795822860404533825328648379360515749480038557139",
"certified_accuracy_bits": 480,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-17"
},
"number": "-1.024457144337005122901759356892389267438464780134282057609368575253069414067887142512580755958424273",
"certified_accuracy_bits": 484,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "18"
},
"number": "-0.000002646992874467806651014619436839025104047526279570473201866831407049234332854978214106588796634339361",
"certified_accuracy_bits": 482,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "19"
},
"number": "-0.000001323021170172668765606229135268704671782437647317549620927532979086906931639368944674266882507270590",
"certified_accuracy_bits": 484,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-19"
},
"number": "-1.132646264480413735676734632766605378965782753206629221783394820544857005451699333016805160959280492",
"certified_accuracy_bits": 483,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "20"
},
"number": "-6.613523898316398628732481447041059732089568563829073627560425434344587077989769136781961275493643943e-7",
"certified_accuracy_bits": 486,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
}
]
}