{"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","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","4"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_name":"basis_map_A013611 of delannoy"},"identifying_rows":2,"identity":{"certificate":{"certificate":{"dividend_relation":{"terms":[{"coeff":{"coeffs":[["-1","-38","-512","-2988","-7440","-4864","4608"],["0","-12","-308","-2520","-8096","-7648","4224"],["0","0","-44","-648","-2976","-4032","1280"],["0","0","0","-48","-416","-864","128"],["0","0","0","0","-16","-64","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["0","-3","-114","-1536","-8964","-22320","-14592","13824"],["0","0","-36","-924","-7560","-24288","-22944","12672"],["0","0","0","-132","-1944","-8928","-12096","3840"],["0","0","0","0","-144","-1248","-2592","384"],["0","0","0","0","0","-48","-192","0"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","0","-1","-38","-512","-2988","-7440","-4864","4608"],["0","0","0","-12","-308","-2520","-8096","-7648","4224"],["0","0","0","0","-44","-648","-2976","-4032","1280"],["0","0","0","0","0","-48","-416","-864","128"],["0","0","0","0","0","0","-16","-64","0"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["-2","-60","-616","-2632","-4384","-672","3456"],["0","-24","-480","-2944","-6624","-3200","3456"],["0","0","-88","-976","-3168","-2528","1152"],["0","0","0","-96","-576","-704","128"],["0","0","0","0","-32","-64","0"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["0","-6","-180","-1848","-7896","-13152","-2016","10368"],["0","0","-72","-1440","-8832","-19872","-9600","10368"],["0","0","0","-264","-2928","-9504","-7584","3456"],["0","0","0","0","-288","-1728","-2112","384"],["0","0","0","0","0","-96","-192","0"]]},"deriv_order":1,"shift":1},{"coeff":{"coeffs":[["0","0","-2","-60","-616","-2632","-4384","-672","3456"],["0","0","0","-24","-480","-2944","-6624","-3200","3456"],["0","0","0","0","-88","-976","-3168","-2528","1152"],["0","0","0","0","0","-96","-576","-704","128"],["0","0","0","0","0","0","-32","-64","0"]]},"deriv_order":2,"shift":1},{"coeff":{"coeffs":[["1","22","160","428","208","-384"],["0","12","172","680","608","-512"],["0","0","44","328","512","-224"],["0","0","0","48","160","-32"],["0","0","0","0","16","0"]]},"deriv_order":0,"shift":2},{"coeff":{"coeffs":[["0","3","66","480","1284","624","-1152"],["0","0","36","516","2040","1824","-1536"],["0","0","0","132","984","1536","-672"],["0","0","0","0","144","480","-96"],["0","0","0","0","0","48","0"]]},"deriv_order":1,"shift":2},{"coeff":{"coeffs":[["0","0","1","22","160","428","208","-384"],["0","0","0","12","172","680","608","-512"],["0","0","0","0","44","328","512","-224"],["0","0","0","0","0","48","160","-32"],["0","0","0","0","0","0","16","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","16"]],"recurrence":{"denominator":{"coeffs":[["1","-2","-8","-4","16","0"],["0","12","-4","-56","-32","0"],["0","0","44","40","-64","-32"],["0","0","0","48","32","-32"],["0","0","0","0","16","0"]]},"terms":[{"coeff":{"coeffs":[["1","14","72","156","80","-192","-256"],["0","12","132","504","672","-160","-640"],["0","0","44","360","864","384","-512"],["0","0","0","48","288","352","-128"],["0","0","0","0","16","64","0"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","12","8","-120","-288","-224","-128"],["0","24","128","192","-160","-512","-384"],["0","0","88","400","480","-160","-384"],["0","0","0","96","320","192","-128"],["0","0","0","0","32","64","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","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","4"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","4"]]},"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","8","368","7472","88640","683616","3599488","13183040","33426688","56773632","58974976","26662912","-11755520","-21102592","-9764864","-1572864"],["0","0","0","24","1200","26096","328000","2659168","14637696","55861568","147503360","262043392","290227968","156690432","-23453696","-81854464","-40960000","-6815744"],["0","0","0","24","1392","33808","463232","4029472","23550976","94818496","263452160","493944832","587113728","370495488","24381440","-120135680","-68386816","-11927552"],["0","0","0","8","656","19568","308480","2980064","18946560","81962816","243180032","487019008","626483968","455501824","106246144","-78069760","-57278464","-10747904"],["0","0","0","0","96","4736","96448","1100928","7921536","37879040","122639616","266833408","375727104","312148992","115437568","-14958592","-24576000","-5242880"],["0","0","0","0","0","352","12224","185536","1618816","8965504","32770304","79429888","124469760","117955584","57589760","6848512","-4587520","-1310720"],["0","0","0","0","0","0","384","10880","134144","940800","4114432","11556352","20668416","22496256","13510656","3563520","-32768","-131072"],["0","0","0","0","0","0","0","128","3072","31488","179200","615936","1302528","1655808","1191936","442368","65536","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","24","1104","22416","265920","2050848","10798464","39549120","100280064","170320896","176924928","79988736","-35266560","-63307776","-29294592","-4718592"],["0","0","0","0","72","3600","78288","984000","7977504","43913088","167584704","442510080","786130176","870683904","470071296","-70361088","-245563392","-122880000","-20447232"],["0","0","0","0","72","4176","101424","1389696","12088416","70652928","284455488","790356480","1481834496","1761341184","1111486464","73144320","-360407040","-205160448","-35782656"],["0","0","0","0","24","1968","58704","925440","8940192","56839680","245888448","729540096","1461057024","1879451904","1366505472","318738432","-234209280","-171835392","-32243712"],["0","0","0","0","0","288","14208","289344","3302784","23764608","113637120","367918848","800500224","1127181312","936446976","346312704","-44875776","-73728000","-15728640"],["0","0","0","0","0","0","1056","36672","556608","4856448","26896512","98310912","238289664","373409280","353866752","172769280","20545536","-13762560","-3932160"],["0","0","0","0","0","0","0","1152","32640","402432","2822400","12343296","34669056","62005248","67488768","40531968","10690560","-98304","-393216"],["0","0","0","0","0","0","0","0","384","9216","94464","537600","1847808","3907584","4967424","3575808","1327104","196608","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","8","368","7472","88640","683616","3599488","13183040","33426688","56773632","58974976","26662912","-11755520","-21102592","-9764864","-1572864"],["0","0","0","0","0","24","1200","26096","328000","2659168","14637696","55861568","147503360","262043392","290227968","156690432","-23453696","-81854464","-40960000","-6815744"],["0","0","0","0","0","24","1392","33808","463232","4029472","23550976","94818496","263452160","493944832","587113728","370495488","24381440","-120135680","-68386816","-11927552"],["0","0","0","0","0","8","656","19568","308480","2980064","18946560","81962816","243180032","487019008","626483968","455501824","106246144","-78069760","-57278464","-10747904"],["0","0","0","0","0","0","96","4736","96448","1100928","7921536","37879040","122639616","266833408","375727104","312148992","115437568","-14958592","-24576000","-5242880"],["0","0","0","0","0","0","0","352","12224","185536","1618816","8965504","32770304","79429888","124469760","117955584","57589760","6848512","-4587520","-1310720"],["0","0","0","0","0","0","0","0","384","10880","134144","940800","4114432","11556352","20668416","22496256","13510656","3563520","-32768","-131072"],["0","0","0","0","0","0","0","0","0","128","3072","31488","179200","615936","1302528","1655808","1191936","442368","65536","0"]]},"deriv_order":2}],"shift":0}],"row_annihilation":{"kind":"system","system":{"generators":[{"annihilator":{"terms":[{"coeff":{"coeffs":[["-4","-8"],["2","8"],["-4","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-6","-30","-24"],["4","16","8"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-1","-8","-18","-8"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["2"],["2"]]},"deriv_order":0,"shift":1}]},"quotient":[{"coeff":{"coeffs":[["0","0","0","0","0","224","8512","141888","1369088","8472704","35097600","98171648","181168128","204109824","106507264","-27344896","-68124672","-33292288","-5505024"],["0","0","0","0","0","672","27072","472896","4748416","30457984","130560768","378270464","727010816","868518912","525121536","-16699392","-225361920","-120782848","-20709376"],["0","0","0","0","0","672","30144","569408","6086272","41193600","185501440","564218624","1143510528","1465125888","1022552064","160776192","-258473984","-164626432","-29884416"],["0","0","0","0","0","224","13120","289728","3459968","25578368","124304640","405824768","883843584","1233177600","991934464","316227584","-101842944","-101711872","-20447232"],["0","0","0","0","0","0","1536","53376","810112","7062784","39048960","142292480","343053824","532319232","494097408","227205120","13565952","-25821184","-6553600"],["0","0","0","0","0","0","0","2048","57856","711168","4971520","21662720","60573696","107673600","116035584","68259840","16826368","-851968","-786432"],["0","0","0","0","0","0","0","0","768","18432","188928","1075200","3695616","7815168","9934848","7151616","2654208","393216","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","-112","-4480","-79072","-815296","-5463360","-24974720","-79269760","-173458688","-251326464","-213320192","-53758976","82542592","91062272","36831232","5505024"],["0","0","0","0","0","-224","-9632","-179520","-1932352","-13412480","-63160960","-205817088","-462262016","-692744192","-631985152","-245020672","113676288","174440448","74383360","11272192"],["0","0","0","0","0","-112","-5824","-122144","-1425984","-10496064","-51597952","-173455232","-398600960","-610919424","-586672640","-298895360","-22786048","55951360","26804224","3932160"],["0","0","0","0","0","0","-672","-22016","-315328","-2586112","-13337984","-44605952","-95789312","-125284352","-89192448","-34670592","-33648640","-43925504","-23920640","-4456448"],["0","0","0","0","0","0","0","-320","-5632","-16640","359936","4360192","23186432","70308864","125503488","122680320","47820800","-11485184","-14614528","-3145728"],["0","0","0","0","0","0","0","0","768","23040","298496","2184192","9894912","28555264","51898368","56340480","32317440","6782976","-1179648","-524288"],["0","0","0","0","0","0","0","0","0","512","12288","125952","716800","2463744","5210112","6623232","4767744","1769472","262144","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","0","-48","-1984","-36320","-389952","-2732608","-13124224","-44000640","-102388480","-159473664","-149740032","-53470208","43188224","58490880","25296896","3932160"],["0","0","0","0","0","0","-96","-4320","-84672","-963264","-7104896","-35771264","-125510400","-306189568","-504607744","-518999040","-255043584","53489664","139149312","66387968","10747904"],["0","0","0","0","0","0","-48","-2688","-60960","-773824","-6237248","-33883008","-127338368","-332034304","-588539904","-670038528","-420255744","-55701504","97828864","58523648","10223616"],["0","0","0","0","0","0","0","-352","-13184","-217920","-2096896","-13024384","-54632448","-157002496","-306220032","-390561792","-298268672","-104771584","10272768","18808832","3932160"],["0","0","0","0","0","0","0","0","-576","-17664","-238592","-1863680","-9288192","-30717952","-67883008","-98304000","-88593408","-44421120","-8798208","1114112","524288"],["0","0","0","0","0","0","0","0","0","-256","-6656","-75264","-484352","-1948672","-5068800","-8521728","-9007104","-5652480","-1900544","-262144","0"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["0","0","0","8","192","1968","11200","38496","81408","103488","74496","27648","4096"],["0","0","0","24","576","5904","33600","115488","244224","310464","223488","82944","12288"],["0","0","0","24","576","5904","33600","115488","244224","310464","223488","82944","12288"],["0","0","0","8","192","1968","11200","38496","81408","103488","74496","27648","4096"]]},"step_quotients":[[{"coeff":{"coeffs":[["0","0","0","8","256","3504","26944","128096","389376","754752","902400","623616","225280","32768"],["0","0","0","8","384","6576","58432","307296","1005312","2057280","2558208","1815552","667648","98304"],["0","0","0","-24","-384","-1296","13632","153312","679680","1643328","2260224","1704960","651264","98304"],["0","0","0","-40","-896","-8304","-40256","-102880","-99072","133824","455424","457728","200704","32768"],["0","0","0","-16","-384","-3936","-22400","-76992","-162816","-206976","-148992","-55296","-8192","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","-8","-248","-3376","-26512","-132640","-440480","-981312","-1450176","-1377024","-793600","-249856","-32768"],["0","0","0","0","-48","-1248","-14112","-90816","-365376","-950400","-1597824","-1688832","-1059840","-356352","-49152"],["0","0","0","24","648","7632","51312","216288","590688","1043136","1154880","753408","261120","36864","0"],["0","0","0","16","448","5504","38912","174464","515584","1012224","1302528","1065216","527360","143360","16384"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","-4","-128","-1824","-15232","-82528","-303360","-768640","-1337856","-1568832","-1197056","-563200","-147456","-16384"],["0","0","0","-8","-256","-3648","-30464","-165056","-606720","-1537280","-2675712","-3137664","-2394112","-1126400","-294912","-32768"],["0","0","0","-4","-128","-1824","-15232","-82528","-303360","-768640","-1337856","-1568832","-1197056","-563200","-147456","-16384"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["0","-8","-224","-2704","-18304","-75424","-190592","-275136","-162816","88320","183296","94208","16384"],["0","-24","-688","-8496","-58848","-248672","-648768","-988224","-695424","115968","494592","274432","49152"],["0","-24","-720","-9264","-66720","-293472","-802752","-1313856","-1109376","-182016","384000","258048","49152"],["0","-8","-272","-3856","-30112","-142624","-421568","-763584","-783744","-358656","17408","69632","16384"],["0","0","-16","-384","-3936","-22400","-76992","-162816","-206976","-148992","-55296","-8192","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","4","120","1576","11856","56016","170720","328160","356544","118656","-179968","-230400","-102400","-16384"],["0","8","256","3600","29216","150944","515904","1171904","1725312","1539840","705280","66560","-61440","-16384"],["0","4","152","2472","22864","133840","519648","1359328","2380992","2723712","1950464","824320","184320","16384"],["0","0","16","448","5504","38912","174464","515584","1012224","1302528","1065216","527360","143360","16384"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","-4","-128","-1824","-15232","-82528","-303360","-768640","-1337856","-1568832","-1197056","-563200","-147456","-16384"],["0","0","-8","-256","-3648","-30464","-165056","-606720","-1537280","-2675712","-3137664","-2394112","-1126400","-294912","-32768"],["0","0","-4","-128","-1824","-15232","-82528","-303360","-768640","-1337856","-1568832","-1197056","-563200","-147456","-16384"]]},"deriv_order":2}]]},{"annihilator":{"terms":[{"coeff":{"coeffs":[["0","0","0"],["2","4","-8"],["0","4","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-1","-2","12","16"],["0","-4","-16","-8"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","1","8","18","8"]]},"deriv_order":2,"shift":0}]},"quotient":[{"coeff":{"coeffs":[["0","0","0","0","128","4736","76544","711936","4214272","16529920","43187200","72981504","72597504","28856320","-16424960","-24215552","-10354688","-1572864"],["0","0","0","0","384","15040","254208","2454912","15030784","60927744","164947968","291492352","311906304","155977728","-30281728","-80855040","-37945344","-6029312"],["0","0","0","0","384","16704","304256","3116672","20075776","85349632","242773504","454843904","530101248","324421632","23248896","-94502912","-52428800","-8912896"],["0","0","0","0","128","7232","152960","1740160","12191488","55844608","170863104","346624512","447446016","329273344","89571328","-39649280","-33030144","-6291456"],["0","0","0","0","0","832","27264","390528","3213568","16764672","57619968","131011072","191831040","168222720","72777728","2752512","-8650752","-2097152"],["0","0","0","0","0","0","896","24320","287488","1934848","8128000","21951488","37782528","39561216","22695936","5423104","-327680","-262144"],["0","0","0","0","0","0","0","256","6144","62976","358400","1231872","2605056","3311616","2383872","884736","131072","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","-64","-2496","-42752","-425344","-2730752","-11850496","-35269120","-71070208","-91852800","-63580160","-288768","39354368","32571392","11534336","1572864"],["0","0","0","0","-128","-5312","-94848","-969088","-6307584","-27389696","-80306688","-156072448","-188136448","-112986112","10022912","60186624","35291136","7995392","524288"],["0","0","0","0","-64","-3136","-61184","-652160","-4258816","-17714944","-46116864","-66566656","-22379520","83365888","121360384","32915456","-41877504","-31719424","-6291456"],["0","0","0","0","0","-320","-8832","-97408","-489216","-313600","10026496","61213184","180935680","301369344","263598080","71122944","-54198272","-42729472","-8388608"],["0","0","0","0","0","0","256","12032","221952","2223616","13648384","53904384","138191872","223807488","211273728","92241920","-2686976","-15728640","-3670016"],["0","0","0","0","0","0","0","1024","29696","373760","2668544","11843584","33624064","60420096","65347584","37969920","8683520","-917504","-524288"],["0","0","0","0","0","0","0","0","512","12288","125952","716800","2463744","5210112","6623232","4767744","1769472","262144","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","-48","-1984","-36320","-389952","-2732608","-13124224","-44000640","-102388480","-159473664","-149740032","-53470208","43188224","58490880","25296896","3932160"],["0","0","0","0","0","-96","-4320","-84672","-963264","-7104896","-35771264","-125510400","-306189568","-504607744","-518999040","-255043584","53489664","139149312","66387968","10747904"],["0","0","0","0","0","-48","-2688","-60960","-773824","-6237248","-33883008","-127338368","-332034304","-588539904","-670038528","-420255744","-55701504","97828864","58523648","10223616"],["0","0","0","0","0","0","-352","-13184","-217920","-2096896","-13024384","-54632448","-157002496","-306220032","-390561792","-298268672","-104771584","10272768","18808832","3932160"],["0","0","0","0","0","0","0","-576","-17664","-238592","-1863680","-9288192","-30717952","-67883008","-98304000","-88593408","-44421120","-8798208","1114112","524288"],["0","0","0","0","0","0","0","0","-256","-6656","-75264","-484352","-1948672","-5068800","-8521728","-9007104","-5652480","-1900544","-262144","0"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["0","0","0","8","192","1968","11200","38496","81408","103488","74496","27648","4096"],["0","0","0","24","576","5904","33600","115488","244224","310464","223488","82944","12288"],["0","0","0","24","576","5904","33600","115488","244224","310464","223488","82944","12288"],["0","0","0","8","192","1968","11200","38496","81408","103488","74496","27648","4096"]]},"step_quotients":[[{"coeff":{"coeffs":[["0","0","0","8","224","2704","18304","75424","190592","275136","162816","-88320","-183296","-94208","-16384"],["0","0","0","24","688","8496","58848","248672","648768","988224","695424","-115968","-494592","-274432","-49152"],["0","0","0","24","720","9264","66720","293472","802752","1313856","1109376","182016","-384000","-258048","-49152"],["0","0","0","8","272","3856","30112","142624","421568","763584","783744","358656","-17408","-69632","-16384"],["0","0","0","0","16","384","3936","22400","76992","162816","206976","148992","55296","8192","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","-4","-120","-1576","-11856","-56016","-170720","-328160","-356544","-118656","179968","230400","102400","16384"],["0","0","0","-8","-256","-3600","-29216","-150944","-515904","-1171904","-1725312","-1539840","-705280","-66560","61440","16384"],["0","0","0","-4","-152","-2472","-22864","-133840","-519648","-1359328","-2380992","-2723712","-1950464","-824320","-184320","-16384"],["0","0","0","0","-16","-448","-5504","-38912","-174464","-515584","-1012224","-1302528","-1065216","-527360","-143360","-16384"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","4","128","1824","15232","82528","303360","768640","1337856","1568832","1197056","563200","147456","16384"],["0","0","0","0","8","256","3648","30464","165056","606720","1537280","2675712","3137664","2394112","1126400","294912","32768"],["0","0","0","0","4","128","1824","15232","82528","303360","768640","1337856","1568832","1197056","563200","147456","16384"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["0","0","16","456","5664","40112","177792","509280","939648","1080384","725760","257024","36864"],["0","0","48","1384","17376","124272","555776","1604832","2981760","3448128","2326272","826368","118784"],["0","0","48","1416","18144","132144","600576","1758816","3307392","3862080","2624256","936960","135168"],["0","0","16","504","6816","51920","244992","740256","1428096","1701312","1172736","422912","61440"],["0","0","0","16","384","3936","22400","76992","162816","206976","148992","55296","8192"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","-8","-248","-3400","-27088","-138544","-474080","-1096800","-1694400","-1687488","-1017088","-332800","-45056","0"],["0","0","-16","-512","-7248","-59680","-316000","-1122624","-2709184","-4401024","-4677504","-3099392","-1192960","-233472","-16384"],["0","0","-8","-280","-4296","-38096","-216368","-823008","-2127968","-3718848","-4292544","-3147520","-1387520","-331776","-32768"],["0","0","0","-16","-448","-5504","-38912","-174464","-515584","-1012224","-1302528","-1065216","-527360","-143360","-16384"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","4","128","1824","15232","82528","303360","768640","1337856","1568832","1197056","563200","147456","16384"],["0","0","0","8","256","3648","30464","165056","606720","1537280","2675712","3137664","2394112","1126400","294912","32768"],["0","0","0","4","128","1824","15232","82528","303360","768640","1337856","1568832","1197056","563200","147456","16384"]]},"deriv_order":2}]]}],"restart_bases":[],"row_multiplier":{"coeffs":[["0","0","0","8","192","1968","11200","38496","81408","103488","74496","27648","4096"]]},"start_base":0}},"shifted_parent_relation":{"terms":[{"coeff":{"coeffs":[["-1","-4"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-2","-4"]]},"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","4"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","4"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","4"]]},"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) + (4) x, V_n(x) = 0, W_n(x) = (1) + (4) 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) = (2) + (4) x, B_n(x) = (1) + (4) x: every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1/4] (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) + (4) x, B_n(x) = (1) + (4) x","every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1/4] (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"}