{"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"],["2","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["5","5"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_name":"basis_map_A007318 of Pascal-(1,5,1) array."},"identifying_rows":2,"identity":{"certificate":{"certificate":{"dividend_relation":{"terms":[{"coeff":{"coeffs":[["-480","-4560","-15440","-23150","-15610","-3640","180"],["0","-1440","-9240","-19140","-16060","-4555","165"],["0","0","-1320","-4860","-5680","-2090","50"],["0","0","0","-360","-780","-415","5"],["0","0","0","0","-30","-30","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["0","-1440","-13680","-46320","-69450","-46830","-10920","540"],["0","0","-4320","-27720","-57420","-48180","-13665","495"],["0","0","0","-3960","-14580","-17040","-6270","150"],["0","0","0","0","-1080","-2340","-1245","15"],["0","0","0","0","0","-90","-90","0"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","0","-480","-4560","-15440","-23150","-15610","-3640","180"],["0","0","0","-1440","-9240","-19140","-16060","-4555","165"],["0","0","0","0","-1320","-4860","-5680","-2090","50"],["0","0","0","0","0","-360","-780","-415","5"],["0","0","0","0","0","0","-30","-30","0"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["-192","-1440","-3728","-4180","-2060","-333","27"],["0","-576","-2880","-4512","-2748","-516","27"],["0","0","-528","-1464","-1228","-291","9"],["0","0","0","-144","-216","-70","1"],["0","0","0","0","-12","-6","0"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["0","-576","-4320","-11184","-12540","-6180","-999","81"],["0","0","-1728","-8640","-13536","-8244","-1548","81"],["0","0","0","-1584","-4392","-3684","-873","27"],["0","0","0","0","-432","-648","-210","3"],["0","0","0","0","0","-36","-18","0"]]},"deriv_order":1,"shift":1},{"coeff":{"coeffs":[["0","0","-192","-1440","-3728","-4180","-2060","-333","27"],["0","0","0","-576","-2880","-4512","-2748","-516","27"],["0","0","0","0","-528","-1464","-1228","-291","9"],["0","0","0","0","0","-144","-216","-70","1"],["0","0","0","0","0","0","-12","-6","0"]]},"deriv_order":2,"shift":1},{"coeff":{"coeffs":[["96","528","976","726","170","-12"],["0","288","1032","1068","316","-16"],["0","0","264","492","212","-7"],["0","0","0","72","60","-1"],["0","0","0","0","6","0"]]},"deriv_order":0,"shift":2},{"coeff":{"coeffs":[["0","288","1584","2928","2178","510","-36"],["0","0","864","3096","3204","948","-48"],["0","0","0","792","1476","636","-21"],["0","0","0","0","216","180","-3"],["0","0","0","0","0","18","0"]]},"deriv_order":1,"shift":2},{"coeff":{"coeffs":[["0","0","96","528","976","726","170","-12"],["0","0","0","288","1032","1068","316","-16"],["0","0","0","0","264","492","212","-7"],["0","0","0","0","0","72","60","-1"],["0","0","0","0","0","0","6","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"],["2","4"]],"recurrence":{"denominator":{"coeffs":[["96","-48","-32","-18","2","0"],["0","288","-24","-36","-4","0"],["0","0","264","60","-4","-1"],["0","0","0","72","12","-1"],["0","0","0","0","6","0"]]},"terms":[{"coeff":{"coeffs":[["480","1680","2240","1430","450","50","-10"],["0","1440","3960","4020","1740","215","-25"],["0","0","1320","2700","1720","320","-20"],["0","0","0","360","540","175","-5"],["0","0","0","0","30","30","0"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["192","288","80","-140","-60","1","-1"],["0","576","768","384","44","0","-3"],["0","0","528","600","220","15","-3"],["0","0","0","144","120","22","-1"],["0","0","0","0","12","6","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"],["2","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["5","5"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","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":[["0","0","0","1327104","15261696","77359104","228759552","438753024","572306688","516134112","319485408","131172016","33023958","4225868","123892","-10752","-730","-12"],["0","0","0","3981312","49766400","270231552","846858240","1707105024","2325176064","2178505440","1395523872","591521112","153797478","20538844","724460","-39792","-3074","-52"],["0","0","0","3981312","57729024","350189568","1196716032","2587735296","3737318400","3682060704","2465734464","1088671056","294782586","41425052","1734941","-52605","-5155","-91"],["0","0","0","1327104","27205632","202770432","797589504","1914907392","3003982848","3169481568","2251991616","1049041120","299257062","44719448","2200626","-24030","-4336","-82"],["0","0","0","0","3981312","49102848","249661440","708148224","1255696128","1460377728","1126236384","564076176","172294152","27745834","1590566","7350","-1862","-40"],["0","0","0","0","0","3649536","31684608","119591424","257174784","346085568","300439584","166488024","55706892","9831902","652184","11268","-340","-10"],["0","0","0","0","0","0","995328","7050240","21510144","36754560","38209536","24479280","9263808","1830822","139985","3903","3","-1"],["0","0","0","0","0","0","0","82944","497664","1254528","1710720","1348272","603072","137382","12114","450","6","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","3981312","45785088","232077312","686278656","1316259072","1716920064","1548402336","958456224","393516048","99071874","12677604","371676","-32256","-2190","-36"],["0","0","0","0","11943936","149299200","810694656","2540574720","5121315072","6975528192","6535516320","4186571616","1774563336","461392434","61616532","2173380","-119376","-9222","-156"],["0","0","0","0","11943936","173187072","1050568704","3590148096","7763205888","11211955200","11046182112","7397203392","3266013168","884347758","124275156","5204823","-157815","-15465","-273"],["0","0","0","0","3981312","81616896","608311296","2392768512","5744722176","9011948544","9508444704","6755974848","3147123360","897771186","134158344","6601878","-72090","-13008","-246"],["0","0","0","0","0","11943936","147308544","748984320","2124444672","3767088384","4381133184","3378709152","1692228528","516882456","83237502","4771698","22050","-5586","-120"],["0","0","0","0","0","0","10948608","95053824","358774272","771524352","1038256704","901318752","499464072","167120676","29495706","1956552","33804","-1020","-30"],["0","0","0","0","0","0","0","2985984","21150720","64530432","110263680","114628608","73437840","27791424","5492466","419955","11709","9","-3"],["0","0","0","0","0","0","0","0","248832","1492992","3763584","5132160","4044816","1809216","412146","36342","1350","18","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","1327104","15261696","77359104","228759552","438753024","572306688","516134112","319485408","131172016","33023958","4225868","123892","-10752","-730","-12"],["0","0","0","0","0","3981312","49766400","270231552","846858240","1707105024","2325176064","2178505440","1395523872","591521112","153797478","20538844","724460","-39792","-3074","-52"],["0","0","0","0","0","3981312","57729024","350189568","1196716032","2587735296","3737318400","3682060704","2465734464","1088671056","294782586","41425052","1734941","-52605","-5155","-91"],["0","0","0","0","0","1327104","27205632","202770432","797589504","1914907392","3003982848","3169481568","2251991616","1049041120","299257062","44719448","2200626","-24030","-4336","-82"],["0","0","0","0","0","0","3981312","49102848","249661440","708148224","1255696128","1460377728","1126236384","564076176","172294152","27745834","1590566","7350","-1862","-40"],["0","0","0","0","0","0","0","3649536","31684608","119591424","257174784","346085568","300439584","166488024","55706892","9831902","652184","11268","-340","-10"],["0","0","0","0","0","0","0","0","995328","7050240","21510144","36754560","38209536","24479280","9263808","1830822","139985","3903","3","-1"],["0","0","0","0","0","0","0","0","0","82944","497664","1254528","1710720","1348272","603072","137382","12114","450","6","0"]]},"deriv_order":2}],"shift":0}],"row_annihilation":{"kind":"system","system":{"generators":[{"annihilator":{"terms":[{"coeff":{"coeffs":[["-2","-1"],["5","1"],["-6","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-36","-39","-3"],["24","24","1"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-24","-48","-25","-1"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["1"],["1"]]},"deriv_order":0,"shift":1}]},"quotient":[{"coeff":{"coeffs":[["0","0","0","0","0","4644864","44126208","184163328","444358656","684865152","701409024","479657424","213205920","57256016","7764011","261276","-16990","-1252","-21"],["0","0","0","0","0","13934592","140341248","613702656","1539565056","2454433920","2591642304","1823994000","834253992","231092700","32688030","1284419","-52827","-4563","-79"],["0","0","0","0","0","13934592","156266496","738782208","1970542080","3306655872","3652330176","2679322896","1275676200","368540892","55000686","2534160","-51156","-6252","-114"],["0","0","0","0","0","4644864","68014080","375763968","1118071296","2043508608","2424990528","1895711088","957608664","293435852","46926134","2545068","-5056","-3880","-78"],["0","0","0","0","0","0","7962624","69175296","261232128","561952512","756278208","656274528","363219912","121148964","21194421","1355294","18348","-978","-25"],["0","0","0","0","0","0","0","2654208","18745344","57024000","97148160","100681920","64284192","24226536","4757100","357585","9435","-21","-3"],["0","0","0","0","0","0","0","0","248832","1492992","3763584","5132160","4044816","1809216","412146","36342","1350","18","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","-9289728","-92897280","-409135104","-1048826880","-1738195200","-1951551360","-1508711712","-797425584","-278586352","-59399658","-6289043","-83416","24294","1354","21"],["0","0","0","0","0","-18579456","-199729152","-929083392","-2485582848","-4259768832","-4906783872","-3861672384","-2060287248","-719681696","-152136540","-16126742","-350719","44799","2719","43"],["0","0","0","0","0","-9289728","-120766464","-632420352","-1833974784","-3324056832","-3971175552","-3180835104","-1689903312","-571225120","-112440786","-10782474","-338131","11487","921","15"],["0","0","0","0","0","0","-13934592","-114130944","-405513216","-814454784","-1006210944","-773573760","-348936048","-72208128","3571584","3526798","171433","-11913","-965","-17"],["0","0","0","0","0","0","0","-1658880","-7299072","-4672512","32721408","94735872","121238208","86160624","34123800","6614029","395691","339","-575","-12"],["0","0","0","0","0","0","0","0","995328","7464960","23984640","42944256","46554048","30935520","12054456","2417220","177658","4134","-42","-2"],["0","0","0","0","0","0","0","0","0","165888","995328","2509056","3421440","2696544","1206144","274764","24228","900","12","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","0","-3981312","-41140224","-187951104","-502115328","-871900416","-1032054912","-846993312","-478798800","-180310128","-41815858","-4913593","-110400","15266","938","15"],["0","0","0","0","0","0","-7962624","-89579520","-438276096","-1240593408","-2265490944","-2804174208","-2395471680","-1404121392","-546793296","-131227860","-16250898","-517285","34293","2469","41"],["0","0","0","0","0","0","-3981312","-55738368","-315684864","-997069824","-1987607808","-2646691200","-2406737952","-1489765104","-609289680","-153486306","-20335542","-868959","19539","2181","39"],["0","0","0","0","0","0","0","-7299072","-68345856","-281152512","-668500992","-1015092864","-1024386048","-691175760","-304548816","-82308136","-11895982","-653691","-3661","695","15"],["0","0","0","0","0","0","0","0","-2985984","-22892544","-76640256","-146534400","-175478400","-135547776","-66851136","-19989504","-3220965","-217645","-5097","33","2"],["0","0","0","0","0","0","0","0","0","-331776","-2156544","-6013440","-9351936","-8814528","-5108832","-1755672","-323220","-26028","-924","-12","0"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["0","0","0","13824","82944","209088","285120","224712","100512","22897","2019","75","1"],["0","0","0","41472","248832","627264","855360","674136","301536","68691","6057","225","3"],["0","0","0","41472","248832","627264","855360","674136","301536","68691","6057","225","3"],["0","0","0","13824","82944","209088","285120","224712","100512","22897","2019","75","1"]]},"step_quotients":[[{"coeff":{"coeffs":[["0","0","0","13824","110592","374976","703296","794952","549936","223921","47813","4113","151","2"],["0","0","0","-41472","-165888","-129600","399168","1036584","1046736","534381","131325","11889","447","6"],["0","0","0","-207360","-1161216","-2638656","-3022272","-1659960","-159408","259617","107097","10989","435","6"],["0","0","0","-235008","-1382400","-3388608","-4428864","-3249864","-1259280","-188225","11471","2763","133","2"],["0","0","0","-82944","-497664","-1254528","-1710720","-1348272","-603072","-137382","-12114","-450","-6","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","-165888","-1202688","-3780864","-6723648","-7391520","-5147064","-2231868","-568707","-76979","-5175","-165","-2"],["0","0","0","0","-82944","-539136","-1503360","-2337984","-2203632","-1277208","-438918","-80805","-6507","-231","-3"],["0","0","0","497664","3442176","10264320","17164224","17498592","11033928","4141188","828285","69327","2511","33","0"],["0","0","0","331776","2322432","7022592","11943936","12445056","8090496","3186528","698496","73153","3843","99","1"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","-331776","-2654208","-9345024","-18966528","-24388992","-20535552","-11277024","-3885024","-771649","-76996","-3942","-100","-1"],["0","0","0","-663552","-5308416","-18690048","-37933056","-48777984","-41071104","-22554048","-7770048","-1543298","-153992","-7884","-200","-2"],["0","0","0","-331776","-2654208","-9345024","-18966528","-24388992","-20535552","-11277024","-3885024","-771649","-76996","-3942","-100","-1"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["0","-165888","-1161216","-3490560","-5847552","-5908896","-3617568","-1256196","-198480","-2231","1107","63","1"],["0","-497664","-3566592","-10969344","-18797184","-19437408","-12200976","-4371660","-732822","-18807","2871","183","3"],["0","-497664","-3732480","-11964672","-21306240","-22858848","-14897520","-5577804","-1007586","-43035","1971","171","3"],["0","-165888","-1410048","-4983552","-9611136","-11041056","-7662384","-3065412","-610626","-38573","-243","45","1"],["0","0","-82944","-497664","-1254528","-1710720","-1348272","-603072","-137382","-12114","-450","-6","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","331776","2488320","8142336","15185664","17665344","13144032","6129960","1653156","202942","17","-1233","-65","-1"],["0","663552","5308416","18607104","37393920","47274624","38733120","20350416","6492840","1104380","73187","1377","-31","-1"],["0","331776","3151872","12787200","29230848","41553216","38034144","22310952","8026212","1599934","146323","6453","133","1"],["0","0","331776","2322432","7022592","11943936","12445056","8090496","3186528","698496","73153","3843","99","1"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","-331776","-2654208","-9345024","-18966528","-24388992","-20535552","-11277024","-3885024","-771649","-76996","-3942","-100","-1"],["0","0","-663552","-5308416","-18690048","-37933056","-48777984","-41071104","-22554048","-7770048","-1543298","-153992","-7884","-200","-2"],["0","0","-331776","-2654208","-9345024","-18966528","-24388992","-20535552","-11277024","-3885024","-771649","-76996","-3942","-100","-1"]]},"deriv_order":2}]]},{"annihilator":{"terms":[{"coeff":{"coeffs":[["0","0","0"],["12","6","-1"],["0","6","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-24","-12","14","2"],["0","-24","-24","-1"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","24","48","25","1"]]},"deriv_order":2,"shift":0}]},"quotient":[{"coeff":{"coeffs":[["0","0","0","0","2654208","24551424","99422208","231386112","341024256","330016896","209773632","84721296","20020864","2282428","57486","-5870","-374","-6"],["0","0","0","0","7962624","77967360","330117120","796801536","1211742720","1206753984","789214464","328920504","80918832","9850590","320851","-18723","-1383","-23"],["0","0","0","0","7962624","86593536","394979328","1009718784","1610613504","1674063936","1141354080","497377800","129154524","17025342","697952","-19284","-1932","-34"],["0","0","0","0","2654208","37490688","198457344","562291200","972124416","1083091392","788222496","367171608","102762292","14934148","755724","-3764","-1232","-24"],["0","0","0","0","0","4313088","35334144","125784576","254755584","322176960","262083168","135633624","42235092","6919872","425680","5232","-324","-8"],["0","0","0","0","0","0","1161216","7879680","23023872","37666944","37484640","22988880","8332428","1580286","116657","3015","-9","-1"],["0","0","0","0","0","0","0","82944","497664","1254528","1710720","1348272","603072","137382","12114","450","6","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","-5308416","-51757056","-221184000","-546711552","-866294784","-919496448","-661718400","-318626784","-98276224","-17583800","-1375450","26984","9028","416","6"],["0","0","0","0","-10616832","-110149632","-490807296","-1244989440","-1994277888","-2102609664","-1466200704","-656165856","-172888400","-20908680","124156","166566","10506","250","2"],["0","0","0","0","-5308416","-65028096","-316735488","-836904960","-1336449024","-1324484352","-774097152","-200138208","38064560","41045520","9553068","530828","-8052","-1260","-24"],["0","0","0","0","0","-6635520","-45785088","-124360704","-145953792","8881920","250812288","342239712","232340688","85879720","15422780","825124","-8252","-1660","-32"],["0","0","0","0","0","0","1327104","15593472","71967744","179255808","270214272","256785984","153011760","54113304","9834994","613336","5436","-608","-14"],["0","0","0","0","0","0","0","1327104","9621504","29998080","52296192","55368576","36044352","13810128","2740440","203686","5058","-30","-2"],["0","0","0","0","0","0","0","0","165888","995328","2509056","3421440","2696544","1206144","274764","24228","900","12","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","-3981312","-41140224","-187951104","-502115328","-871900416","-1032054912","-846993312","-478798800","-180310128","-41815858","-4913593","-110400","15266","938","15"],["0","0","0","0","0","-7962624","-89579520","-438276096","-1240593408","-2265490944","-2804174208","-2395471680","-1404121392","-546793296","-131227860","-16250898","-517285","34293","2469","41"],["0","0","0","0","0","-3981312","-55738368","-315684864","-997069824","-1987607808","-2646691200","-2406737952","-1489765104","-609289680","-153486306","-20335542","-868959","19539","2181","39"],["0","0","0","0","0","0","-7299072","-68345856","-281152512","-668500992","-1015092864","-1024386048","-691175760","-304548816","-82308136","-11895982","-653691","-3661","695","15"],["0","0","0","0","0","0","0","-2985984","-22892544","-76640256","-146534400","-175478400","-135547776","-66851136","-19989504","-3220965","-217645","-5097","33","2"],["0","0","0","0","0","0","0","0","-331776","-2156544","-6013440","-9351936","-8814528","-5108832","-1755672","-323220","-26028","-924","-12","0"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["0","0","0","13824","82944","209088","285120","224712","100512","22897","2019","75","1"],["0","0","0","41472","248832","627264","855360","674136","301536","68691","6057","225","3"],["0","0","0","41472","248832","627264","855360","674136","301536","68691","6057","225","3"],["0","0","0","13824","82944","209088","285120","224712","100512","22897","2019","75","1"]]},"step_quotients":[[{"coeff":{"coeffs":[["0","0","0","165888","1161216","3490560","5847552","5908896","3617568","1256196","198480","2231","-1107","-63","-1"],["0","0","0","497664","3566592","10969344","18797184","19437408","12200976","4371660","732822","18807","-2871","-183","-3"],["0","0","0","497664","3732480","11964672","21306240","22858848","14897520","5577804","1007586","43035","-1971","-171","-3"],["0","0","0","165888","1410048","4983552","9611136","11041056","7662384","3065412","610626","38573","243","-45","-1"],["0","0","0","0","82944","497664","1254528","1710720","1348272","603072","137382","12114","450","6","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","-331776","-2488320","-8142336","-15185664","-17665344","-13144032","-6129960","-1653156","-202942","-17","1233","65","1"],["0","0","0","-663552","-5308416","-18607104","-37393920","-47274624","-38733120","-20350416","-6492840","-1104380","-73187","-1377","31","1"],["0","0","0","-331776","-3151872","-12787200","-29230848","-41553216","-38034144","-22310952","-8026212","-1599934","-146323","-6453","-133","-1"],["0","0","0","0","-331776","-2322432","-7022592","-11943936","-12445056","-8090496","-3186528","-698496","-73153","-3843","-99","-1"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","331776","2654208","9345024","18966528","24388992","20535552","11277024","3885024","771649","76996","3942","100","1"],["0","0","0","0","663552","5308416","18690048","37933056","48777984","41071104","22554048","7770048","1543298","153992","7884","200","2"],["0","0","0","0","331776","2654208","9345024","18966528","24388992","20535552","11277024","3885024","771649","76996","3942","100","1"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["0","0","331776","2336256","7091712","12070080","12521088","8030088","3062328","620881","52275","1899","25"],["0","0","995328","7091712","21772800","37464768","39273984","25438536","9790056","2000025","168939","6147","81"],["0","0","995328","7257600","22768128","39973824","42695424","28135080","10996200","2274789","193167","7047","93"],["0","0","331776","2585088","8584704","15833664","17653248","12074904","4871544","1033027","88617","3249","43"],["0","0","0","82944","497664","1254528","1710720","1348272","603072","137382","12114","450","6"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","-663552","-5142528","-17487360","-34152192","-42054336","-33679584","-17406984","-5538180","-974591","-77013","-2709","-35","0"],["0","0","-1327104","-10616832","-37297152","-75326976","-96052608","-79804224","-42904464","-14262888","-2647678","-227179","-9261","-169","-1"],["0","0","-663552","-5806080","-22132224","-48197376","-65942208","-58569696","-33587976","-11911236","-2371583","-223319","-10395","-233","-2"],["0","0","0","-331776","-2322432","-7022592","-11943936","-12445056","-8090496","-3186528","-698496","-73153","-3843","-99","-1"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","331776","2654208","9345024","18966528","24388992","20535552","11277024","3885024","771649","76996","3942","100","1"],["0","0","0","663552","5308416","18690048","37933056","48777984","41071104","22554048","7770048","1543298","153992","7884","200","2"],["0","0","0","331776","2654208","9345024","18966528","24388992","20535552","11277024","3885024","771649","76996","3942","100","1"]]},"deriv_order":2}]]}],"restart_bases":[],"row_multiplier":{"coeffs":[["0","0","0","13824","82944","209088","285120","224712","100512","22897","2019","75","1"]]},"start_base":0}},"shifted_parent_relation":{"terms":[{"coeff":{"coeffs":[["-5","-5"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-2","-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"],["2","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["5","5"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","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) = (2) + (1) x, V_n(x) = 0, W_n(x) = (5) + (5) x; open hypotheses: multipliers_vanish_at_zero: [x^0] c_2(n, x) = 5 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 = 5 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 = 5 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) = (2) + (1) x, B_n(x) = (5) + (5) 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) = (2) + (1) x, B_n(x) = (5) + (5) 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"}