{"certification":{"candidate":{"gauge":{"kind":"none"},"index_shift":0,"operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["2"]},{"denominator":["1"],"numerator":["1"]}],"shape":"euler_polynomial"},"parent":{"first_index":0,"initial_polynomials":[["1"],["3","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["3","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_name":"basis_map_A007318 of Riordan array (1/(1-2*x), x*(1+x)/(1-2*x))."},"identifying_rows":2,"identity":{"certificate":{"certificate":{"dividend_relation":{"terms":[{"coeff":{"coeffs":[["-169","-1586","-5095","-7040","-4123","-662","99"],["0","-507","-3081","-5988","-4518","-1011","93"],["0","0","-442","-1557","-1678","-534","29"],["0","0","0","-117","-237","-117","3"],["0","0","0","0","-9","-9","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["0","-507","-4758","-15285","-21120","-12369","-1986","297"],["0","0","-1521","-9243","-17964","-13554","-3033","279"],["0","0","0","-1326","-4671","-5034","-1602","87"],["0","0","0","0","-351","-711","-351","9"],["0","0","0","0","0","-27","-27","0"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","0","-169","-1586","-5095","-7040","-4123","-662","99"],["0","0","0","-507","-3081","-5988","-4518","-1011","93"],["0","0","0","0","-442","-1557","-1678","-534","29"],["0","0","0","0","0","-117","-237","-117","3"],["0","0","0","0","0","0","-9","-9","0"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["-507","-3406","-7914","-7414","-2571","-100","72"],["0","-1521","-6734","-8899","-4081","-392","75"],["0","0","-1326","-3202","-2105","-317","26"],["0","0","0","-351","-423","-93","3"],["0","0","0","0","-27","-9","0"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["0","-1521","-10218","-23742","-22242","-7713","-300","216"],["0","0","-4563","-20202","-26697","-12243","-1176","225"],["0","0","0","-3978","-9606","-6315","-951","78"],["0","0","0","0","-1053","-1269","-279","9"],["0","0","0","0","0","-81","-27","0"]]},"deriv_order":1,"shift":1},{"coeff":{"coeffs":[["0","0","-507","-3406","-7914","-7414","-2571","-100","72"],["0","0","0","-1521","-6734","-8899","-4081","-392","75"],["0","0","0","0","-1326","-3202","-2105","-317","26"],["0","0","0","0","0","-351","-423","-93","3"],["0","0","0","0","0","0","-27","-9","0"]]},"deriv_order":2,"shift":1},{"coeff":{"coeffs":[["169","910","1546","946","109","-32"],["0","507","1690","1535","302","-44"],["0","0","442","764","257","-20"],["0","0","0","117","84","-3"],["0","0","0","0","9","0"]]},"deriv_order":0,"shift":2},{"coeff":{"coeffs":[["0","507","2730","4638","2838","327","-96"],["0","0","1521","5070","4605","906","-132"],["0","0","0","1326","2292","771","-60"],["0","0","0","0","351","252","-9"],["0","0","0","0","0","27","0"]]},"deriv_order":1,"shift":2},{"coeff":{"coeffs":[["0","0","169","910","1546","946","109","-32"],["0","0","0","507","1690","1535","302","-44"],["0","0","0","0","442","764","257","-20"],["0","0","0","0","0","117","84","-3"],["0","0","0","0","0","0","9","0"]]},"deriv_order":2,"shift":2}]},"exceptional_bases":[],"gauge":{"kind":"none"},"identifying_indices":[0,1],"index_shift":0,"input":{"first_index":0,"initial_polynomials":[["1"],["3","4"]],"recurrence":{"denominator":{"coeffs":[["169","-104","-66","-4","5","0"],["0","507","-78","-117","-6","0"],["0","0","442","62","-31","-2"],["0","0","0","117","12","-3"],["0","0","0","0","9","0"]]},"terms":[{"coeff":{"coeffs":[["169","572","701","356","47","-16","-5"],["0","507","1313","1164","362","-9","-13"],["0","0","442","855","472","48","-11"],["0","0","0","117","165","45","-3"],["0","0","0","0","9","9","0"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["507","364","-250","-384","-123","-16","-2"],["0","1521","1430","303","-127","-48","-7"],["0","0","1326","1096","215","-25","-8"],["0","0","0","351","207","21","-3"],["0","0","0","0","27","9","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"input_valid_from_base":0,"multiplier":["1","3","3","1"],"operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["2"]},{"denominator":["1"],"numerator":["1"]}],"shape":"euler_polynomial"},"parent":{"first_index":0,"initial_polynomials":[["1"],["3","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["3","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_leader_shift":2,"parent_valid_from_base":0,"quotients":[{"differentiations":[{"coeff":{"coeffs":[["-371293","-2856100","-7641166","-5659472","11625250","26398228","12130610","-17097832","-24172192","-7653020","5895910","6433984","2521262","440780","12470","-6536","-851","-32"],["-1113879","-9682179","-29206918","-27811823","36929776","106998889","63502018","-59482103","-103408894","-40171893","21415614","27922651","11773592","2250395","112262","-23797","-3571","-140"],["-1113879","-11909937","-42744832","-53398085","37565047","168952885","131426224","-72020963","-175832479","-84993351","27859512","48657181","22508477","4742939","337880","-30421","-5950","-248"],["-371293","-6197737","-29404648","-50175086","6591247","128683840","136342640","-28290976","-149436139","-92500304","13211920","43187362","22579781","5305340","491432","-12212","-4940","-227"],["0","-1113879","-9196642","-23362898","-10717304","46304050","73551262","9020170","-64762984","-54553536","-1893894","20334130","12636008","3365846","385610","6230","-2056","-113"],["0","0","-971074","-4690595","-5865314","5717413","19072726","9773809","-12479530","-16727319","-3778182","4723927","3856730","1195343","164978","7451","-334","-29"],["0","0","0","-257049","-837057","-300651","1828944","2220225","-500289","-2288709","-1102248","407025","574893","216723","35736","2439","21","-3"],["0","0","0","0","-19773","-45630","19656","120870","56619","-89100","-90072","-1620","30537","15210","3024","270","9","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","-1113879","-8568300","-22923498","-16978416","34875750","79194684","36391830","-51293496","-72516576","-22959060","17687730","19301952","7563786","1322340","37410","-19608","-2553","-96"],["0","-3341637","-29046537","-87620754","-83435469","110789328","320996667","190506054","-178446309","-310226682","-120515679","64246842","83767953","35320776","6751185","336786","-71391","-10713","-420"],["0","-3341637","-35729811","-128234496","-160194255","112695141","506858655","394278672","-216062889","-527497437","-254980053","83578536","145971543","67525431","14228817","1013640","-91263","-17850","-744"],["0","-1113879","-18593211","-88213944","-150525258","19773741","386051520","409027920","-84872928","-448308417","-277500912","39635760","129562086","67739343","15916020","1474296","-36636","-14820","-681"],["0","0","-3341637","-27589926","-70088694","-32151912","138912150","220653786","27060510","-194288952","-163660608","-5681682","61002390","37908024","10097538","1156830","18690","-6168","-339"],["0","0","0","-2913222","-14071785","-17595942","17152239","57218178","29321427","-37438590","-50181957","-11334546","14171781","11570190","3586029","494934","22353","-1002","-87"],["0","0","0","0","-771147","-2511171","-901953","5486832","6660675","-1500867","-6866127","-3306744","1221075","1724679","650169","107208","7317","63","-9"],["0","0","0","0","0","-59319","-136890","58968","362610","169857","-267300","-270216","-4860","91611","45630","9072","810","27","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","-371293","-2856100","-7641166","-5659472","11625250","26398228","12130610","-17097832","-24172192","-7653020","5895910","6433984","2521262","440780","12470","-6536","-851","-32"],["0","0","-1113879","-9682179","-29206918","-27811823","36929776","106998889","63502018","-59482103","-103408894","-40171893","21415614","27922651","11773592","2250395","112262","-23797","-3571","-140"],["0","0","-1113879","-11909937","-42744832","-53398085","37565047","168952885","131426224","-72020963","-175832479","-84993351","27859512","48657181","22508477","4742939","337880","-30421","-5950","-248"],["0","0","-371293","-6197737","-29404648","-50175086","6591247","128683840","136342640","-28290976","-149436139","-92500304","13211920","43187362","22579781","5305340","491432","-12212","-4940","-227"],["0","0","0","-1113879","-9196642","-23362898","-10717304","46304050","73551262","9020170","-64762984","-54553536","-1893894","20334130","12636008","3365846","385610","6230","-2056","-113"],["0","0","0","0","-971074","-4690595","-5865314","5717413","19072726","9773809","-12479530","-16727319","-3778182","4723927","3856730","1195343","164978","7451","-334","-29"],["0","0","0","0","0","-257049","-837057","-300651","1828944","2220225","-500289","-2288709","-1102248","407025","574893","216723","35736","2439","21","-3"],["0","0","0","0","0","0","-19773","-45630","19656","120870","56619","-89100","-90072","-1620","30537","15210","3024","270","9","0"]]},"deriv_order":2}],"shift":0}],"row_annihilation":{"kind":"system","system":{"generators":[{"annihilator":{"terms":[{"coeff":{"coeffs":[["-3","-1"],["0","1"],["-3","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-15","-18","-3"],["13","10","1"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-13","-23","-11","-1"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["1"],["1"]]},"deriv_order":0,"shift":1}]},"quotient":[{"coeff":{"coeffs":[["0","0","-799708","-5378256","-10740964","65312","26154956","28002608","-6773076","-30646624","-17195004","3946384","8582292","3978208","781636","33808","-10076","-1440","-56"],["0","0","-2399124","-18019794","-39703677","-6130410","90947793","109741098","-13984113","-112445382","-70679547","10495794","32402361","16145754","3447123","218166","-30603","-5226","-213"],["0","0","-2399124","-21789846","-55317756","-20743671","115532574","165694074","3314898","-155215335","-113946912","5773062","46773864","25773915","6070638","514902","-27870","-7101","-312"],["0","0","-799708","-11033334","-35140846","-24854752","62323634","118720682","26481222","-97270096","-89980794","-6461954","31725486","20320912","5391166","582862","58","-4320","-218"],["0","0","0","-1885026","-9438312","-12386010","10929048","39369462","21309288","-25272738","-35131320","-8262054","9822504","8103666","2496360","333714","12504","-1014","-72"],["0","0","0","0","-652509","-2138526","-791739","4663332","5716611","-1249362","-5880195","-2846664","1045953","1480734","555975","90468","5913","18","-9"],["0","0","0","0","0","-59319","-136890","58968","362610","169857","-267300","-270216","-4860","91611","45630","9072","810","27","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","2599051","17593576","37353394","7393412","-81180814","-106322728","-906446","99365596","77265472","1986128","-29432218","-19291012","-5714210","-740552","14134","15524","1637","56"],["0","0","5198102","40585181","96900882","35955426","-195522912","-291361248","-30376562","254737558","217320768","15593470","-77150546","-53213586","-16329048","-2325936","-44046","29018","3362","117"],["0","0","2599051","28389634","82884022","52766870","-148054660","-271867846","-63301490","217401538","210524434","25480610","-69059470","-49858006","-15471284","-2321354","-121910","8510","1307","44"],["0","0","0","5398029","24478974","27082926","-34879338","-95350410","-37852722","70023654","78072246","10238400","-25490646","-16955478","-4302702","-430614","-24822","-6462","-990","-45"],["0","0","0","0","1142440","2719886","-1821820","-9019894","-2735680","10206686","7640140","-3699990","-5424120","-739462","1124380","532270","75280","538","-620","-34"],["0","0","0","0","0","-158184","-694590","-590070","1324980","2454348","150270","-2243322","-1454760","277344","631710","257334","42420","2556","-30","-6"],["0","0","0","0","0","0","-39546","-91260","39312","241740","113238","-178200","-180144","-3240","61074","30420","6048","540","18","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","1113879","7768592","17545242","6237452","-34810438","-53039728","-8389222","44520420","41869952","5764056","-13741346","-10719660","-3585578","-540704","-3602","9532","1113","40"],["0","0","0","2227758","18079113","46677462","26753376","-82043988","-150854190","-44373126","113168700","125264724","26877072","-36063318","-32063640","-11611236","-1981722","-81210","21180","2934","111"],["0","0","0","1113879","12852450","41747394","38419446","-57525234","-149524098","-74470374","92224974","134571996","43476522","-31246362","-34731678","-13994526","-2729334","-199362","11610","2589","108"],["0","0","0","0","2541929","13643370","21647210","-7846930","-58671214","-50142790","22444074","61250990","30096684","-9078290","-16331058","-7649990","-1724882","-177170","-2786","810","43"],["0","0","0","0","0","1028196","3862326","2758080","-6988254","-12420852","-1714074","10495128","8451810","35964","-3123342","-1833456","-485130","-63084","-3342","24","6"],["0","0","0","0","0","0","118638","313326","-26676","-764532","-581454","421362","718632","189864","-179982","-152334","-48564","-7668","-594","-18","0"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["-2197","-5070","2184","13430","6291","-9900","-10008","-180","3393","1690","336","30","1"],["-6591","-15210","6552","40290","18873","-29700","-30024","-540","10179","5070","1008","90","3"],["-6591","-15210","6552","40290","18873","-29700","-30024","-540","10179","5070","1008","90","3"],["-2197","-5070","2184","13430","6291","-9900","-10008","-180","3393","1690","336","30","1"]]},"step_quotients":[[{"coeff":{"coeffs":[["0","-4394","-10140","4368","26860","12582","-19800","-20016","-360","6786","3380","672","60","2"],["6591","2028","-36972","-27186","61707","67446","-29376","-59508","-11259","15288","9132","1926","177","6"],["19773","32448","-50076","-107766","23961","126846","30672","-58428","-31617","5148","7116","1746","171","6"],["19773","41236","-29796","-116502","-29759","101682","70272","-18396","-30897","-8424","356","402","51","2"],["6591","15210","-6552","-40290","-18873","29700","30024","540","-10179","-5070","-1008","-90","-3","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["4394","27716","40586","-34192","-124390","-57388","86634","100224","14670","-30164","-20978","-6128","-914","-68","-2"],["-19773","-32448","56667","122976","-30513","-167136","-49545","88128","61641","-4608","-17295","-6816","-1179","-96","-3"],["-52728","-148044","-8424","348528","312144","-162108","-358992","-124416","79272","81276","28344","4752","384","12","0"],["-28561","-87880","-24505","191360","218267","-52360","-222813","-112320","32301","55720","24661","5440","649","40","1"]]},"deriv_order":1},{"coeff":{"coeffs":[["28561","116441","112385","-166855","-409627","-165907","275173","335133","80019","-88021","-80381","-30101","-6089","-689","-41","-1"],["57122","232882","224770","-333710","-819254","-331814","550346","670266","160038","-176042","-160762","-60202","-12178","-1378","-82","-2"],["28561","116441","112385","-166855","-409627","-165907","275173","335133","80019","-88021","-80381","-30101","-6089","-689","-41","-1"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["10985","64896","146250","137912","-7137","-139584","-136500","-62352","-13737","-896","138","24","1"],["26364","172887","423501","438777","22503","-404538","-425310","-203406","-47382","-3789","321","69","3"],["13182","129285","393003","488859","110331","-376110","-456930","-236106","-59724","-5991","135","63","3"],["-8788","-507","100503","213035","124605","-96942","-183930","-111402","-32250","-4199","-141","15","1"],["-6591","-21801","-15249","25041","43914","14214","-15810","-16350","-6171","-1101","-93","-3","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-32955","-205673","-503646","-559986","-116501","425889","549084","323556","103563","16425","482","-210","-27","-1"],["-37349","-294905","-866346","-1170386","-501683","635457","1104660","765924","293637","63641","7094","270","-13","-1"],["24167","27209","-221754","-660814","-653863","-6753","562068","561180","276585","78007","12742","1170","55","1"],["28561","116441","140946","-50414","-268681","-216321","6492","118812","86511","30791","6130","690","41","1"]]},"deriv_order":1},{"coeff":{"coeffs":[["-28561","-145002","-257387","-90532","319095","485002","209829","-125304","-205323","-117302","-36921","-6820","-731","-42","-1"],["-57122","-290004","-514774","-181064","638190","970004","419658","-250608","-410646","-234604","-73842","-13640","-1462","-84","-2"],["-28561","-145002","-257387","-90532","319095","485002","209829","-125304","-205323","-117302","-36921","-6820","-731","-42","-1"]]},"deriv_order":2}]]},{"annihilator":{"terms":[{"coeff":{"coeffs":[["0","0","0"],["8","5","-1"],["-3","3","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-28","-26","4","2"],["13","-3","-9","-1"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-13","-10","12","10","1"]]},"deriv_order":2,"shift":0}]},"quotient":[{"coeff":{"coeffs":[["0","0","799708","6520696","19942000","27481688","9696496","-21030992","-30918500","-16125504","-914436","2908472","1387880","249080","7288","-3424","-436","-16"],["0","0","2399124","21447114","70020080","103295777","45355491","-69711505","-115828951","-66223980","-7482270","10099656","5479122","1103449","58999","-10449","-1595","-62"],["0","0","2399124","25217166","91060749","147946422","82639413","-80893911","-165153972","-106785141","-19486914","12583512","8390277","1941708","153513","-9663","-2190","-93"],["0","0","799708","12175774","52481767","98940803","72986008","-34415030","-109636733","-84550209","-22991292","6142442","6179741","1706561","182152","-274","-1351","-67"],["0","0","0","1885026","12151607","29876327","31229016","468206","-32498377","-33297021","-13158552","295734","2170581","767725","106048","4026","-323","-23"],["0","0","0","0","652509","3127176","5459181","2977431","-3068688","-5717103","-3366150","-549258","294717","159834","28425","1923","6","-3"],["0","0","0","0","0","59319","235755","307593","36477","-283626","-279810","-94878","4842","11331","2727","261","9","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","-2599051","-21306506","-67542371","-101363496","-52847847","55620154","111711601","75920228","17708559","-7093718","-6241705","-1789552","-194541","12390","5339","500","16"],["0","0","-5198102","-48011041","-165218794","-268158553","-166373350","113294177","282831208","211627245","64671372","-5821927","-10448282","-2948279","-269174","18055","5116","323","6"],["0","0","-2599051","-32102564","-128952915","-237433508","-183512017","51747894","227965547","197950546","82587675","17696632","3869147","2086560","648929","55894","-7251","-1454","-64"],["0","0","0","-5398029","-32418932","-75687157","-78640328","-13275497","53262860","62067631","40379736","25274697","15802020","6872465","1621192","147821","-6460","-1931","-88"],["0","0","0","0","-1142440","-4890522","-7959224","-6587932","-4512600","-2958782","2875656","9555096","9506856","4737994","1228632","144836","3160","-690","-40"],["0","0","0","0","0","158184","734136","892242","-838026","-2933130","-2142702","619956","1875420","1208916","368028","53850","3150","-18","-6"],["0","0","0","0","0","0","39546","130806","91494","-150246","-263484","-85284","94860","98100","37026","6606","558","18","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","-1113879","-8882471","-26427713","-32665165","2145273","55185001","63574223","19053803","-22816149","-28580205","-14838859","-4119199","-533621","7083","10685","1153","40"],["0","0","0","-2227758","-20306871","-66984333","-93737709","-11693721","139160469","183533595","70364895","-54899829","-81776901","-45713583","-13649943","-2038707","-56985","24225","3045","111"],["0","0","0","-1113879","-13966329","-55713723","-94133169","-36607935","112916163","187386537","95161563","-39410433","-82886955","-51640593","-16908915","-2914389","-185055","14307","2697","108"],["0","0","0","0","-2541929","-16185299","-37832509","-29985579","28685635","78828425","56384351","-4866639","-34963323","-25885033","-9553975","-1903985","-179103","-1933","853","43"],["0","0","0","0","0","-1028196","-4890522","-7648602","-660348","11760504","13474578","2979450","-5472360","-5508324","-2384982","-551526","-66396","-3312","30","6"],["0","0","0","0","0","0","-118638","-431964","-405288","359244","940698","519336","-199296","-389160","-209178","-56844","-8280","-612","-18","0"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["-2197","-5070","2184","13430","6291","-9900","-10008","-180","3393","1690","336","30","1"],["-6591","-15210","6552","40290","18873","-29700","-30024","-540","10179","5070","1008","90","3"],["-6591","-15210","6552","40290","18873","-29700","-30024","-540","10179","5070","1008","90","3"],["-2197","-5070","2184","13430","6291","-9900","-10008","-180","3393","1690","336","30","1"]]},"step_quotients":[[{"coeff":{"coeffs":[["-10985","-42926","-27443","89692","136711","-12602","-135531","-71064","25533","35774","11807","1148","-91","-22","-1"],["-26364","-120159","-104091","235338","431550","10767","-406269","-242676","65880","112431","39483","4362","-186","-63","-3"],["-13182","-102921","-147615","167862","474384","107913","-405621","-301644","44442","122649","47607","6198","-12","-57","-3"],["8788","-17069","-92729","-11522","200962","133117","-134559","-159516","-6624","51101","23993","3902","170","-13","-1"],["6591","8619","-21762","-33738","21417","48573","324","-29484","-10719","5109","4062","918","87","3","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["32955","139763","125255","-241633","-499825","-98905","419195","348723","-5535","-132855","-71195","-15251","-875","157","25","1"],["37349","220207","313885","-267401","-972743","-468437","667937","807939","133551","-242291","-173449","-49723","-6541","-295","11","1"],["-24167","21125","252005","190097","-446011","-640159","78289","569709","283707","-86017","-133313","-53693","-10457","-1061","-53","-1"],["-28561","-59319","63375","215865","26907","-270627","-170453","110493","144621","23419","-31059","-19221","-4791","-609","-39","-1"]]},"deriv_order":1},{"coeff":{"coeffs":[["28561","87880","-4056","-279240","-242772","243720","441080","59960","-255114","-168040","7640","50280","24012","5400","648","40","1"],["57122","175760","-8112","-558480","-485544","487440","882160","119920","-510228","-336080","15280","100560","48024","10800","1296","80","2"],["28561","87880","-4056","-279240","-242772","243720","441080","59960","-255114","-168040","7640","50280","24012","5400","648","40","1"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["21970","103428","152568","-12308","-263238","-252312","-13632","128280","96870","32468","5448","444","14"],["59319","295074","464256","3366","-770841","-786636","-70920","384300","300789","102474","17352","1422","45"],["46137","264654","477360","83946","-733095","-846036","-130968","383220","321147","112614","19368","1602","51"],["2197","57798","172224","108562","-206619","-341412","-103704","126660","127407","47678","8472","714","23"],["-6591","-15210","6552","40290","18873","-29700","-30024","-540","10179","5070","1008","90","3"]]},"deriv_order":0},{"coeff":{"coeffs":[["-61516","-317720","-555360","-146872","762580","1027392","333024","-350832","-425316","-204440","-52864","-7512","-548","-16","0"],["-94471","-547560","-1086215","-485104","1306893","2107144","888861","-589344","-882933","-464600","-130389","-20464","-1745","-72","-1"],["-4394","-141960","-506350","-529592","326046","1132112","778650","-126192","-489918","-315880","-102186","-18392","-1846","-96","-2"],["28561","87880","24505","-191360","-218267","52360","222813","112320","-32301","-55720","-24661","-5440","-649","-40","-1"]]},"deriv_order":1},{"coeff":{"coeffs":[["-28561","-116441","-112385","166855","409627","165907","-275173","-335133","-80019","88021","80381","30101","6089","689","41","1"],["-57122","-232882","-224770","333710","819254","331814","-550346","-670266","-160038","176042","160762","60202","12178","1378","82","2"],["-28561","-116441","-112385","166855","409627","165907","-275173","-335133","-80019","88021","80381","30101","6089","689","41","1"]]},"deriv_order":2}]]}],"restart_bases":[],"row_multiplier":{"coeffs":[["-2197","-5070","2184","13430","6291","-9900","-10008","-180","3393","1690","336","30","1"]]},"start_base":0}},"shifted_parent_relation":{"terms":[{"coeff":{"coeffs":[["-1","-1"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-3","-1"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["1"]]},"deriv_order":0,"shift":2}]},"statement":"w(n) E = sum_nu H_nu S^nu L' (with any remainder removed by row annihilators of the parent), where L' is the parent rule at P'_n = P_(n+0) (valid from base 0) and E the input rule gauged by lambda(n)/delta(n) and composed with (or conjugated through) T = f(n, theta) = 1 + (2) theta + (1) theta^2; so the candidate rows satisfy the input rule at every base n >= 0 (the exceptional bases checked exactly), and agreement on the 2 identifying rows gives Q_n = lambda(n) T_n(P_(n+0)) for every n >= 0"},"method":"operator_division"},"status":"certified"},"input_first_index":0,"interlacing":{"reason":"no parent theorem report with an interlacing conclusion","status":"none"},"lean_declarations":["RealRooted.isMultiplierSequence_eval_of_roots_nonpos","RealRooted.isPFMultiplierSequence_eval_of_roots_nonpos","RealRooted.isMultiplierSequence_iff_preserves"],"lift_summary":{"hypotheses":[{"evidence":"the polynomial with ascending coefficients [1, 2, 1] is fixed; exact check: real-rooted = true, coefficients of one sign = true","name":"euler_polynomial_roots_nonpositive","statement":"the polynomial in theta is real-rooted with every root <= 0 for every n >= n0","status":{"kind":"verified"}},{"evidence":"lambda(n) = 1","name":"gauge_finite_nonzero","statement":"lambda(n) is finite and nonzero for every n >= n0","status":{"kind":"verified"}},{"evidence":"delta(n) != 0 for every integer n in [0, +inf) (exact; Taylor shift: the coefficients of delta(n) at n = 0 + u have one sign)","name":"operator_coefficients_defined","sign_decision":{"certificate":{"condition":"nonzero","denominator":["1"],"method":{"kind":"taylor_shift","shifted_denominator":["1"],"shifted_numerator":["1"]},"numerator":["1"],"range":{"first":"0","last":null}},"decision":"holds"},"statement":"the operator coefficients are finite at every n >= n0 (their denominators do not vanish)","status":{"kind":"verified"}}],"identity":{"method":"forward_division","status":"certified"},"input_first_index":0,"input_interlacing":{"reason":"no parent theorem report with an interlacing conclusion","status":"not_proved"},"lean_replay":"not_attempted","operation":{"description":"f(n, theta) = 1 + (2) theta + (1) theta^2","kind":"preserver_image","operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["2"]},{"denominator":["1"],"numerator":["1"]}],"shape":"euler_polynomial"}},"parent":{"gauge":{"kind":"none"},"index_shift":0,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["3","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["3","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"relation":"Q_n = lambda(n) T_n(P_(n+0)) with T = f(n, theta) = 1 + (2) theta + (1) theta^2, for every n >= 0"},"parent_proof":{"route":"liu_wang_three_term","statement":"every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign","status":"proved"},"root_transfer":{"input_conclusion":"every Q_n, n >= 0, is zero or real-rooted with roots in (-inf, 0]","input_root_region":{"upper":{"closed":true,"value":"0"}},"parent_hypothesis":"every parent row used is zero or real-rooted with all roots in (-inf, 0] (coefficients of one sign)","parent_root_region":{"upper":{"closed":true,"value":"0"}},"theorem":"Laguerre's theorem on multiplier sequences: if f is a real polynomial whose roots are all real and <= 0, then (f(k))_(k >= 0) is a multiplier sequence, so x^k -> f(k) x^k maps every real-rooted polynomial to a real-rooted polynomial or zero (Laguerre; see T. Craven and G. Csordas, Multiplier sequences for fields, Illinois J. Math. 21 (1977); Polya--Schur, Theorem 40 of P. Branden, arXiv:1410.6601: sum_k f(k) x^k / k! = f(theta) e^x = C e^x x^m prod (1 + x/a_j), a_j > 0); f(k) has one sign for k >= 0, so coefficients of one sign stay of one sign; applied to f(n, .) for each n"},"verdict":"proved"},"notes":["the division remainder is removed by row annihilators of the shifted parent"],"parent_proof":{"attempts":[{"detail":"the rule is not P_(n+k) = c(x) P_n with c free of n","route":"periodic_product","success":false,"variant":"P_(n+k) = c(x) P_n"},{"detail":"not applicable: expected one nonzero lag term","route":"product_recurrence","success":false,"variant":"product_recurrence"},{"detail":"no theorem matched (weighted_renewal_window: coefficient of P_(n-1) must be 1 after normalization; fixed_delay_predecessor_window: coefficient of P_(n-1) must be 1 (+ w(n) t) after normalization)","route":"paper_theorem","success":false,"variant":"match_recurrence_theorems"},{"detail":"not applicable: c_2(n, x) = gamma(n) w(x) with w neither constant nor a constant times a square (x + v_0)^2","route":"three_term_recurrence","success":false,"variant":"three_term_recurrence"},{"detail":"not applicable: the rule is not f(n) P_n = c_0(n, x) P_(n-1) + c_1(n, x) P'_(n-1)","route":"liu_wang","success":false,"variant":"liu_wang"},{"detail":"HypothesisFailed: P_n = A_n(x) P_(n-1) + V_n(x) P'_(n-1) + W_n(x) P_(n-2) for n >= 2, with A_n(x) = (3) + (1) x, V_n(x) = 0, W_n(x) = (1) + (1) x; open hypotheses: multipliers_vanish_at_zero: [x^0] c_2(n, x) = 1 is not the zero polynomial; lag_coefficient_nonpositive: W_n is not separable with a factor of one sign on (-inf, 0), and the sufficient monomial test (-1)^k [x^k] W_n <= 0 fails for k = 0 (not a disproof): fails at n = 2: [x^0] W_n = 1 there (exact); derivative_or_lag_coefficient_negative: W_n is not separable with a factor of one sign on (-inf, 0), and the sufficient monomial test (-1)^k [x^k] W_n <= 0 fails for k = 0 (not a disproof): fails at n = 2: [x^0] W_n = 1 there (exact)","route":"liu_wang_derivative_lag","success":false,"variant":"liu_wang_derivative_lag"},{"detail":"not applicable: the rule is not f(n) P_n = c_0(n, x) P_(n-1) + gamma(n) (x - L)(x - U) P'_(n-1)","route":"ma_wang_interval","success":false,"variant":"ma_wang_interval"},{"detail":"P_n = A_n(x) P_(n-1) + B_n(x) P_(n-2) for n >= 2, with A_n(x) = (3) + (1) x, B_n(x) = (1) + (1) x: every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1] (so its coefficients have one sign); for n >= 1, P_(n-1) interlaces P_n (weakly, in the sense of Liu and Wang), and deg P_n - deg P_(n-1) is 0 or 1 for n >= 2","route":"liu_wang_three_term","success":true,"variant":"liu_wang_three_term"}],"conditional_on":[],"interlacing":{"from_index":1,"justification":{"premises":["every hypothesis of the theorem is verified exactly for every index: P_n = A_n(x) P_(n-1) + B_n(x) P_(n-2) for n >= 2, with A_n(x) = (3) + (1) x, B_n(x) = (1) + (1) x","every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1] (so its coefficients have one sign); for n >= 1, P_(n-1) interlaces P_n (weakly, in the sense of Liu and Wang), and deg P_n - deg P_(n-1) is 0 or 1 for n >= 2"],"theorem":"liu_wang_three_term: L. L. Liu and Y. Wang, Adv. Appl. Math. 38 (2007) 542-560, Theorem 2.1 and Corollary 2.4 (A unified approach to polynomial sequences with only real zeros; the lag row as the interlacer, b_n = 0), weak interlacing of consecutive rows, with nonnegativity of the coefficients replaced, where a root region is certified, by an exact root-location induction"},"kind":"weak","orientation":"previous_interlaces_next"},"route":"liu_wang_three_term","rows_checked":10,"statement":"every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign","status":"proved"},"rows_compared":16,"schema":"polytool.recurrence-preserver-image.v1","statement":"proved: Q_n = lambda(n) T_n(P_(n+0)) with T = f(n, theta) = 1 + (2) theta + (1) theta^2 for every n >= 0, the side conditions hold for every n, and every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign; so every Q_n, n >= 0, is zero or real-rooted with roots in (-inf, 0]"},"kind":"preserver_image"}