back to table · edit · history · where entries came from · files · download
14602 bytes, as of the version from 2026-10-26 15:57 (current). Recorded here, not run.
{
"tid": "T228",
"entries": 41,
"python_flint": "0.6.0",
"mpmath": "1.3.0",
"working_bits": 493,
"minimum_certified_accuracy_bits": 478,
"identity_checks": 11,
"exact_rows": 0,
"nonzero_control_passed": true,
"records": [
{
"parameters": {
"s": "0"
},
"number": "-0.9189385332046727417803297364056176398613974736377834128171515404827656959272603976947432986359541976",
"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": "-3.922646139209151727471531446714599513730323971506505209568298485254720803150338284880650523104145691",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-1"
},
"number": "-0.1654211437004509292139196602427806427640363803352017836665223063573596996665771727595251003325087555",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "2"
},
"number": "-0.9375482543158437537025740945678649778978602886148299258854334803604438113127075227936894151411515175",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-2"
},
"number": "-0.03044845705839327078025153047115477664700048354497393625297188985903781794493689867779458488087449597",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "3"
},
"number": "-0.1981262428856368533306818215032857968755427934638350033468899631927256694226511041515708421775957421",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-3"
},
"number": "0.005378576357774301144416974210413842895664439742295507059447023223324501997924069586095103870825683267",
"certified_accuracy_bits": 485,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "4"
},
"number": "-0.06891126589612537984882936558744082715001637487137846382758570601842849852762120133478041038984760229",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-4"
},
"number": "0.007983811450268624280696670798789303905237693362298876417704739714028740281878657952543961969286982040",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "5"
},
"number": "-0.02857378050946295008038981708380121264821523555636624823848001794536450116616395297676555989701173090",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-5"
},
"number": "-0.0005729859801986352049909941488338745132539872911995212178207918809977350313508312578653993423857005060",
"certified_accuracy_bits": 482,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "6"
},
"number": "-0.01285216513179572507594540145992360882884875391193195136796944988339867117171289588221630843096867868",
"certified_accuracy_bits": 489,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-6"
},
"number": "-0.005899759143515937450629877408392025579801534620157195865239392206359703759424905723023863007542258385",
"certified_accuracy_bits": 487,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "7"
},
"number": "-0.006033516960875637793965365478530432397640013548691334714307692521376137030039495342180001675585284016",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-7"
},
"number": "-0.0007286426801592406524672333546503606119028877209254183186363861541425975455273099130232464416804493796",
"certified_accuracy_bits": 482,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "8"
},
"number": "-0.002901952553710673130400106656218756390516301366166128158831797751028933952751176138154515847293788321",
"certified_accuracy_bits": 490,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-8"
},
"number": "0.008316161985602247359524426510534214225674122918829999040210532753056917407881235383483452514524403517",
"certified_accuracy_bits": 488,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "9"
},
"number": "-0.001415982227241809104982959548421754526855060226616749255422629547458870215821469673016811648911005393",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-9"
},
"number": "0.003130145319788572754925768290785446702669365865481515964905133205434716301429643494309512677193955374",
"certified_accuracy_bits": 482,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "10"
},
"number": "-0.0006970330081713936936800225787050100786491154573160742715773178387415023556705377809455761373330681018",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-10"
},
"number": "-0.01892992633814037422898050229034679523198525809516955581048623110070270515504148055235160734739912371",
"certified_accuracy_bits": 486,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "11"
},
"number": "-0.0003450222223683634969283285180435976709021744972706416521514764461619039553839832743090506204622345612",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-11"
},
"number": "-0.01275298447996665611352252548872579815623893704987429279324636666114070232062124740904819354238269507",
"certified_accuracy_bits": 483,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "12"
},
"number": "-0.0001713828458543537668252540843728180429233320609483181123285479605049216495926632278858954557645130043",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-12"
},
"number": "0.06327058334146300059518230123430776751141818475323637667956594567062152546067497673747103437135461765",
"certified_accuracy_bits": 486,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "13"
},
"number": "-0.00008532390865593045869859217525223392837925463034261600976910026190237171323790888359709808780850632522",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-13"
},
"number": "0.06374987374457688028603868147333505564882735531275849138510088588773706420156668709470926781535826319",
"certified_accuracy_bits": 484,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "14"
},
"number": "-0.00004254149338178082305356123471230827986529761588335445604555490236326423621537672085415187469466928331",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-14"
},
"number": "-0.2916577247438735203212240030702506669702630385330908321499093596565151870284637586775093924097273269",
"certified_accuracy_bits": 486,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "15"
},
"number": "-0.00002123108553300034139343867384249695650982773176632319953615798493706996123209927108924197122495944825",
"certified_accuracy_bits": 491,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-15"
},
"number": "-0.4003193028077255938435803175203203672012612862662329442841069426390303360293172007642614642226439548",
"certified_accuracy_bits": 483,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "16"
},
"number": "-0.00001060244203251431397849056293995757374061949870599031149984324332693163436060808928837934629985215285",
"certified_accuracy_bits": 478,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-16"
},
"number": "1.773025660899096396247787344189294481355419827646999177163917307737280926906655310456023712750519855",
"certified_accuracy_bits": 486,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "17"
},
"number": "-0.000005296883357529712470385007189405791699306029415273028169159436426095807550833786662574481683115711172",
"certified_accuracy_bits": 480,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-17"
},
"number": "3.128645332124157875684452639153330548226339077565479742491657706114341129693400534711736286663060260",
"certified_accuracy_bits": 483,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "18"
},
"number": "-0.000002647002978815878859539508872232470270281855523877440612889965464918478261376130301585061592928254452",
"certified_accuracy_bits": 482,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-18"
},
"number": "-13.74276825021405443522056419051855107309537215770498560474565153488894633788585388234060990032339560",
"certified_accuracy_bits": 485,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "19"
},
"number": "-0.000001323023694778489959165608947957860631249057959246551401609791247212768104160186996102468261715328538",
"certified_accuracy_bits": 484,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-19"
},
"number": "-29.96552983139235193943186529727420179190822610911556591588187166820576160286767761172687363034256456",
"certified_accuracy_bits": 483,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "20"
},
"number": "-6.613530207367107732987347239762707863211971594369636878202540687057127462521285445777928354141119415e-7",
"certified_accuracy_bits": 486,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"mpmath_150_200_pass": true
},
{
"parameters": {
"s": "-20"
},
"number": "132.2809975042125145270982115857855186806480099995503145884745019241429157199404293877839464496253429",
"certified_accuracy_bits": 486,
"decimal_contains_enclosure": true,
"shifted_decimal_rejected": true,
"independent_identity": true,
"mpmath_150_200_pass": true
}
]
}