back to table · edit · history · where entries came from · files · download
21042 bytes, as of the version from 2026-10-31 08:52 (current). Recorded here, not run.
{
"tid": "T14",
"entries": 83,
"python_flint": "0.6.0",
"mpmath": "1.3.0",
"working_bits": 493,
"minimum_certified_accuracy_bits": 491,
"identity_checks": 20,
"exact_rows": 41,
"nonzero_control_passed": true,
"records": [
{
"parameters": {
"s": "0"
},
"number": "-1/2",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "1/2"
},
"number": "-1.460354508809586812889499152515298012467229331012581490542886087825530529474500625276419375463356819",
"certified_accuracy_bits": 498,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-1"
},
"number": "-1/12",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "3/2"
},
"number": "2.612375348685488343348567567924071630570800652400063407573328248814927767688272860996243868126311952",
"certified_accuracy_bits": 498,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "2"
},
"number": "1.644934066848226436472415166646025189218949901206798437735558229370007470403200873833628900619758705",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-2"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "5/2"
},
"number": "1.341487257250917179756769693348612136623037629505986511253796728340918923813185441581761085998697994",
"certified_accuracy_bits": 497,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "3"
},
"number": "1.202056903159594285399738161511449990764986292340498881792271555341838205786313090186455873609335258",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-3"
},
"number": "1/120",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "4"
},
"number": "1.082323233711138191516003696541167902774750951918726907682976215444120616186968846556909635941699917",
"certified_accuracy_bits": 494,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-4"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "5"
},
"number": "1.036927755143369926331365486457034168057080919501912811974192677903803589786281484560043106557133336",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-5"
},
"number": "-1/252",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "6"
},
"number": "1.017343061984449139714517929790920527901817490032853561842408664004332182901957897882773977938535170",
"certified_accuracy_bits": 494,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-6"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "7"
},
"number": "1.008349277381922826839797549849796759599863560565238706417283136571601478317355735346096968913851323",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-7"
},
"number": "1/240",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "8"
},
"number": "1.004077356197944339378685238508652465258960790649850020329110202652582952574748814395287230372371971",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-8"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "9"
},
"number": "1.002008392826082214417852769232412060485605851394888756548596615909785053390258398950393069127169586",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-9"
},
"number": "-1/132",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "10"
},
"number": "1.000994575127818085337145958900319017006019531564477517257788994636291465151912954397041968610385652",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-10"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "11"
},
"number": "1.000494188604119464558702282526469936468606435758208617119141436100054059798219814702591843023560629",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-11"
},
"number": "691/32760",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "12"
},
"number": "1.000246086553308048298637998047739670960416088458003404533040952133252019681940913049042808551900699",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-12"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "13"
},
"number": "1.000122713347578489146751836526357395714275105895509845136702671620896726829844209812892713953268135",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-13"
},
"number": "-1/12",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "14"
},
"number": "1.000061248135058704829258545105135333747481696169154549482755202252862941023177420876659782971998467",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-14"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "15"
},
"number": "1.000030588236307020493551728510645062587627948706858177506569932893332267156342279573072334347017548",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-15"
},
"number": "3617/8160",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "16"
},
"number": "1.000015282259408651871732571487636722023237388990471531153105203588787087027953151786285604846322462",
"certified_accuracy_bits": 496,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-16"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "17"
},
"number": "1.000007637197637899762273600293563029213088249090262679095379843972935643290282459342081738636916671",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-17"
},
"number": "-43867/14364",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "18"
},
"number": "1.000003817293264999839856461644621939730454697218953331143174429987630039542650045638001968668989649",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-18"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "19"
},
"number": "1.000001908212716553938925656957795101353258571144838630235933046761823949705341309312664227118076302",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-19"
},
"number": "174611/6600",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "20"
},
"number": "1.000000953962033872796113152038683449345943794187410595750056489851137513731143900257836097976387478",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-20"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "21"
},
"number": "1.000000476932986787806463116719604373045966446694784937600207487376596839087898159833876638564497256",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-21"
},
"number": "-77683/276",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "22"
},
"number": "1.000000238450502727732990003648186752994935041821779658269849603116474458935622914821316156167743985",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-22"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "23"
},
"number": "1.000000119219925965311073067788718882326387254997784519858603225797236243730427435123174313352235859",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-23"
},
"number": "236364091/65520",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "24"
},
"number": "1.000000059608189051259479612440207935801227503918837302795864246972321724495355468544848206832825003",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-24"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "25"
},
"number": "1.000000029803503514652280186063705069366011844730919543312398681339013384460767464082069171562896200",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-25"
},
"number": "-657931/12",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "26"
},
"number": "1.000000014901554828365041234658506630698628864788167885910547435968789971296744862510258486179405654",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-26"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "27"
},
"number": "1.000000007450711789835429491981004170604119454719031882565829993239578352147606271570867900837100313",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-27"
},
"number": "3392780147/3480",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "28"
},
"number": "1.000000003725334024788457054819204018402423232893059295811519769334706169604960304364973738801930066",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-28"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "29"
},
"number": "1.000000001862659723513049006403909945416948061665330469200665774893805558091693265817877381474521004",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-29"
},
"number": "-1723168255201/85932",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "30"
},
"number": "1.000000000931327432419668182871764735021219813567955136816185008613360441960672940496363503624604027",
"certified_accuracy_bits": 495,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-30"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "31"
},
"number": "1.000000000465662906503378407298923325122007106269185336947307372971693371175669889809582649582191406",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-31"
},
"number": "7709321041217/16320",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "32"
},
"number": "1.000000000232831183367650549200145597594049502482982284530311077602258387912189392170586790714721837",
"certified_accuracy_bits": 496,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-32"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "33"
},
"number": "1.000000000116415501727005197759297383545630951652247172763593256517739947029124624567548673934974376",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-33"
},
"number": "-151628697551/12",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "34"
},
"number": "1.000000000058207720879027008892436859891063054173122604617215955071688124163071396179208265960455374",
"certified_accuracy_bits": 496,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-34"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "35"
},
"number": "1.000000000029103850444970996869294252278840464106981987433032256210254825640488901408204338569117244",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-35"
},
"number": "26315271553053477373/69090840",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "36"
},
"number": "1.000000000014551921891041984235929632245318420983808894124038069139542218571745865030220152998942329",
"certified_accuracy_bits": 496,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-36"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "37"
},
"number": "1.000000000007275959835057481014520869012338059264850925555466107705796942638438370439334710114183793",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-37"
},
"number": "-154210205991661/12",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "38"
},
"number": "1.000000000003637979547378651190237236355873273512646028384897469947951594042714249816909036997016960",
"certified_accuracy_bits": 496,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-38"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "39"
},
"number": "1.000000000001818989650307065947584832100730085030589309618664070535251253356509316152407149980168289",
"certified_accuracy_bits": 493,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-39"
},
"number": "261082718496449122051/541200",
"exact": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "40"
},
"number": "1.000000000000909494784026388928253311838694908753860000990878828505479710112025368695607103530607220",
"certified_accuracy_bits": 496,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-40"
},
"number": "0",
"exact": true,
"mpmath_150_200_pass": true
}
]
}