back to table · edit · history · where entries came from · files · download
15305 bytes, as of the version from 2026-10-26 13:28 (current). Recorded here, not run.
{
"table": "T516",
"stored": true,
"root_count": {
"excluded_by_value": 206,
"excluded_by_monotonicity": 9,
"root_segments": 12,
"subdivisions": 0,
"left_endpoint": "-227/16"
},
"versions": {
"sage": "10.9",
"mpmath": "1.4.1",
"numberdb": "0.1.10",
"python": "3.12.3"
},
"seconds": 9.981519864872098,
"results": [
{
"n": 1,
"lo": "-11802245317121696554808440172242137935345613078453163977506575655771229035040147667008181405067679/16000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-7376403323201060346755275107651336209591008174033227485941609784857018146900092291880113378167299373/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-0.73764033232010603467552751076513362095910081740332274859416097848570181469000922918801133781672993739256434782999808278543938004377476735615",
"root_200": "-0.7376403323201060346755275107651336209591008174033227485941609784857018146900092291880113378167299373925643478299980827854393800437747673561484222071006779140694275512345412677791237330421462",
"quadrature_left": "[-4.37486624521965133586931348970491581425630785411097294197065082432e-101 +/- 9.51e-167]",
"quadrature_right": "[3.7692947606576833320549925227809293210252725980067887255744238390e-101 +/- 1.35e-166]",
"series_left_radius": "1.1289622e-210",
"root_relative_bits": 331,
"ode_radius": "6.3101595e-101"
},
{
"n": 2,
"lo": "-3390831509448388299019904733863988520987801637018427573124781728535808443440077344631669094455639487/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-678166301889677659803980946772797704197560327403685514624956345707161688688015468926333818891127897/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-3.3908315094483882990199047338639885209878016370184275731247817285358084434400773446316690944556394861024807781065899029548132837352137668904",
"root_200": "-3.390831509448388299019904733863988520987801637018427573124781728535808443440077344631669094455639486102480778106589902954813283735213766890403759348481081368117941984726223467345869826890529",
"quadrature_left": "[6.8773630022738634287473504788171749704315872585276170813450859307972624522715480843499376675964592e-100 +/- 5.72e-198]",
"quadrature_right": "[-8.447908779126764990807916090556537944474679376705804400392164792016093893212466198346481793473828e-100 +/- 4.06e-197]",
"series_left_radius": "4.5211291e-209",
"root_relative_bits": 329,
"ode_radius": "3.7226532e-98"
},
{
"n": 3,
"lo": "-4751600790643217841330497605986484761252535519200056582721524247558522417864025779066335226288427247/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-950320158128643568266099521197296952250507103840011316544304849511704483572805155813267045257685449/200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-4.7516007906432178413304976059864847612525355192000565827215242475585224178640257790663352262884272459187087004932296370543300116745113906579",
"root_200": "-4.751600790643217841330497605986484761252535519200056582721524247558522417864025779066335226288427245918708700493229637054330011674511390657912551586973715754206085848157065313394171439314124",
"quadrature_left": "[-8.77181896772864093037606349823978810133145156636461886556542781652469445448389e-100 +/- 5.84e-178]",
"quadrature_right": "[7.45289119451884017428939704733988091264735906805511772197259628638777383700477e-100 +/- 7.88e-178]",
"series_left_radius": "7.4789952e-208",
"root_relative_bits": 330,
"ode_radius": "5.1554930e-97"
},
{
"n": 4,
"lo": "-6227070834562610414311286356278210460210287640065052224598626394165065851544295344058950449629716549/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-6227070834562610414311286356278210460210287640065052224598626394165065851544295344058950449629716547/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-6.227070834562610414311286356278210460210287640065052224598626394165065851544295344058950449629716547697125941877863647364415053442442263668",
"root_200": "-6.227070834562610414311286356278210460210287640065052224598626394165065851544295344058950449629716547697125941877863647364415053442442263667972873111369230000477867674943832319749065693227919",
"quadrature_left": "[1.157503930272956088829865325184408887066693197166400164748236115053430885989679e-99 +/- 7.71e-178]",
"quadrature_right": "[-6.19343068954727179680326619627852124699752939257329365858457819441265758726303e-100 +/- 5.85e-178]",
"series_left_radius": "2.5249001e-206",
"root_relative_bits": 330,
"ode_radius": "1.5148833e-95"
},
{
"n": 5,
"lo": "-7330170703258512449120389230804608887478109696622147239847546957904095644603685084119273255680849253/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-7330170703258512449120389230804608887478109696622147239847546957904095644603685084119273255680849251/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-7.3301707032585124491203892308046088874781096966221472398475469579040956446036850841192732556808492518007015487040933817224806849087372009272",
"root_200": "-7.330170703258512449120389230804608887478109696622147239847546957904095644603685084119273255680849251800701548704093381722480684908737200927177582976619965728799125287600851595887713448165681",
"quadrature_left": "[-1.0994761021541282077729791413623857064786367294811741883233872010071371e-99 +/- 7.59e-170]",
"quadrature_right": "[7.340559948248765063968821594901164776291393469564611168811139995467380e-100 +/- 6.47e-170]",
"series_left_radius": "4.7050052e-205",
"root_relative_bits": 330,
"ode_radius": "2.5617333e-94"
},
{
"n": 6,
"lo": "-341225912744609292685116167460313531139152877646937203215444473970539823029360679478831609876301763/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-8530647818615232317127904186507838278478821941173430080386111849263495575734016986970790246907544073/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-8.5306478186152323171279041865078382784788219411734300803861118492634955757340169869707902469075440743359105836272698112597979202973674055183",
"root_200": "-8.530647818615232317127904186507838278478821941173430080386111849263495575734016986970790246907544074335910583627269811259797920297367405518332222232810017822176231510053532218314777022943722",
"quadrature_left": "[6.38467426469959654220424872517368969392068842952511155473600e-100 +/- 2.79e-160]",
"quadrature_right": "[-1.284368296337615382576095029851896235046447413364561638291402e-99 +/- 4.49e-160]",
"series_left_radius": "1.5637682e-203",
"root_relative_bits": 331,
"ode_radius": "7.2338224e-93"
},
{
"n": 7,
"lo": "-4752217736534205734745118457635466722148709873592826804060705121164955188270709001367810849032473241/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-118805443413355143368627961440886668053717746839820670101517628029123879706767725034195271225811831/12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-9.5044354730684114694902369152709334442974197471856536081214102423299103765414180027356216980649464814821151547144075504645092439613727794902",
"root_200": "-9.504435473068411469490236915270933444297419747185653608121410242329910376541418002735621698064946481482115154714407550464509243961372779490242088953131953201682805881924107129744615273495984",
"quadrature_left": "[-5.0893705013259847275554405789684048762755514181619315807686110637655117874863444941e-100 +/- 4.10e-183]",
"quadrature_right": "[1.45650779640250478434444168373518837444104901132810389909682012220921299730300313989e-99 +/- 2.03e-183]",
"series_left_radius": "3.0596207e-202",
"root_relative_bits": 331,
"ode_radius": "1.3095507e-91"
},
{
"n": 8,
"lo": "-1055956788510568338704659090510256622816101014198936473068834720014298138659693645176986910281030937/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-211191357702113667740931818102051324563220202839787294613766944002859627731938729035397382056206187/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-10.559567885105683387046590905102566228161010141989364730688347200142981386596936451769869102810309361887690101288043553526030766069260533476",
"root_200": "-10.55956788510568338704659090510256622816101014198936473068834720014298138659693645176986910281030936188769010128804355352603076606926053347614732643905873879849566495821021721172798085241376",
"quadrature_left": "[8.23005604627583493181137624810387799643726451522523762253224e-99 +/- 2.39e-159]",
"quadrature_right": "[-1.206023401668779469370392969457104578664294731216663082161931e-98 +/- 2.42e-159]",
"series_left_radius": "9.2508773e-201",
"root_relative_bits": 328,
"ode_radius": "3.6031079e-89"
},
{
"n": 9,
"lo": "-572509151360803019609086161655535754811683275697237409587490410110970962546037295276229951118325893/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-143127287840200754902271540413883938702920818924309352396872602527742740636509323819057487779581473/12500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-11.450183027216060392181723233110715096233665513944748191749808202219419250920745905524599022366517846549277402046325743490868995071323113019",
"root_200": "-11.45018302721606039218172323311071509623366551394474819174980820221941925092074590552459902236651784654927740204632574349086899507132311301893974271429623153644015688239649072194641858772067",
"quadrature_left": "[-1.38786946813950686039043025209023032254681813878656170691432238580446198638901754041720098062933588433707294233e-98 +/- 2.72e-209]",
"quadrature_right": "[6.7576608457146851609262071078470707001588130993058930692922630612544803753064320968782147314142814609428197418e-99 +/- 3.69e-209]",
"series_left_radius": "1.8686682e-199",
"root_relative_bits": 328,
"ode_radius": "6.7726189e-88"
},
{
"n": 10,
"lo": "-19391644874773958218098962592773190855065530595634620564937697202480637899699559750515680713368181/1562500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-620532635992766662979166802968742107362096979060307858078006310479380412790385912016501782827781791/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-12.410652719855333259583336059374842147241939581206157161560126209587608255807718240330035656555635830502294930841503231020732443820347893815",
"root_200": "-12.41065271985533325958333605937484214724193958120615716156012620958760825580771824033003565655563583050229493084150323102073244382034789381539298154802986027963566673098697400059563020159674",
"quadrature_left": "[1.00360057453752933748691526236033449374065519875924799954978325070266723430357398034471186049657423821830499716e-98 +/- 6.54e-209]",
"quadrature_right": "[-1.10975326668982105395045504934551364235292878411474276773835381547459178087831954923256246374360922548417643953e-98 +/- 4.31e-209]",
"series_left_radius": "5.4647686e-198",
"root_relative_bits": 328,
"ode_radius": "1.8304117e-86"
},
{
"n": 11,
"lo": "-1324130784630380179056940600835851472701711140456386055969313869618629622740519407209100767439034057/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-264826156926076035811388120167170294540342228091277211193862773923725924548103881441820153487806811/20000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-13.241307846303801790569406008358514727017111404563860559693138696186296227405194072091007674390340563297470438836602778824641501567373776267",
"root_200": "-13.24130784630380179056940600835851472701711140456386055969313869618629622740519407209100767439034056329747043883660277882464150156737377626680216153010447962061651201585501800249082744102213",
"quadrature_left": "[-7.180833669616038024488036552277875881283803506622638672398140236296965270196090674053685630825163076036e-99 +/- 5.95e-202]",
"quadrature_right": "[1.4246400941101945185149455128973507597043764604918936671605400590821479037860827574909542327861228951012e-98 +/- 1.90e-202]",
"series_left_radius": "1.1192410e-196",
"root_relative_bits": 328,
"ode_radius": "3.5263277e-85"
},
{
"n": 12,
"lo": "-1413335803157540377486364486431917656099870954505061342483981812867626243789939299681135147577235249/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "-1413335803157540377486364486431917656099870954505061342483981812867626243789939299681135147577235247/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"root_150": "-14.133358031575403774863644864319176560998709545050613424839818128676262437899392996811351475772352476068843665927869177421302581019678157939",
"root_200": "-14.13335803157540377486364486431917656099870954505061342483981812867626243789939299681135147577235247606884366592786917742130258101967815793873735804867006192272301708183992839224870952532277",
"quadrature_left": "[1.5210958235313531306030976842652035593821130160016579715646652648173211611484624928778200499281e-98 +/- 3.50e-193]",
"quadrature_right": "[-6.626365057242341466835038476171212327486098817308132332442735754981134405791801765825153527912e-99 +/- 6.40e-193]",
"series_left_radius": "3.1990490e-195",
"root_relative_bits": 328,
"ode_radius": "9.4053901e-84"
}
],
"source_sha256": {
"generate.py": "e4f73ea033440a3ed86e18a3eabca41fb1dbc546a80139e40542474928a96901",
"checks.py": "d93816e6bd411f0421db1807a8b14fc5f00f30aeeed3d1822f6c791ab846fec3"
},
"run": "20261026T132329Z-repair"
}