{"certification":{"candidate":{"gauge":{"kind":"none"},"index_shift":0,"operator":{"a":"1","b":"0","c":"1","e":"1","schedule":{"first_degree":0,"first_index":0,"step":1},"shape":"mobius"},"parent":{"first_index":0,"initial_polynomials":[["1"],["4","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["3","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_name":"basis_map_A013610 of Riordan array ((1+x)/(1-2x),x(1+x)/(1-2x))."},"identifying_rows":1,"identity":{"certificate":{"certificate":{"dividend_relation":{"terms":[{"coeff":{"coeffs":[["-72","306","-450","180","180","-198","54"],["45","-171","180","90","-315","225","-54"],["-27","135","-270","270","-135","27","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-84","168","312","-1140","1020","-96","-288","108"],["39","-105","-33","375","-435","141","45","-27"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-13","-4","116","-92","-230","388","-156","-36","27"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["18","-90","180","-180","90","-18"],["9","-45","90","-90","45","-9"]]},"deriv_order":0,"shift":1}]},"exceptional_bases":[],"gauge":{"kind":"none"},"identifying_indices":[0],"index_shift":0,"input":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["9","27","27","9"],["9","27","27","9"]]},"terms":[{"coeff":{"coeffs":[["293","1935","5199","7333","5760","2400","416"],["-300","-2133","-6183","-9375","-7857","-3456","-624"],["79","540","1578","2492","2223","1056","208"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["175","1720","6834","14468","17807","12828","5032","832"],["-65","-644","-2634","-5812","-7513","-5712","-2372","-416"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["13","173","946","2798","4945","5393","3568","1316","208"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"input_valid_from_base":0,"multiplier":["1"],"operator":{"a":"1","b":"0","c":"1","e":"1","schedule":{"first_degree":0,"first_index":0,"step":1},"shape":"mobius"},"parent":{"first_index":0,"initial_polynomials":[["1"],["4","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["3","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_leader_shift":2,"parent_valid_from_base":0,"quotients":[],"row_annihilation":{"kind":"system","system":{"generators":[{"annihilator":{"terms":[{"coeff":{"coeffs":[["-144","-108","0"],["117","27","-162"],["-27","81","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-123","-207","351","243"],["39","-27","-243","-81"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-13","-30","108","270","81"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["36"]]},"deriv_order":0,"shift":1}]},"quotient":[{"coeff":{"coeffs":[["468","1548","-3744","-9216","18216","10872","-36288","18144","2916","-2916"],["0","1404","432","-12528","9936","24840","-41904","16848","3888","-2916"],["-117","315","1152","-3960","414","9702","-11880","3888","1215","-729"]]},"deriv_order":0}],"step_multiplier":{"coeffs":[["820025856","20437567488","227695463424","1493635479552","6393663217152","18696383483904","37981586589696","53424768872448","50904871220736","31473007405056","11769317895168","2380311484416","198359290368"],["-1230038784","-23276118528","-179745785856","-676586276352","-839376338688","3245038267392","17426230990848","38501293372416","48550272977664","36211590452736","15339785121792","3372107936256","297538935552"],["615019392","7947942912","31114886400","-24670199808","-521180645760","-1318041704448","108567019008","6562998743040","13787807340672","13356192218112","6578916463872","1586874322944","148769467776"],["-102503232","-709637760","917070336","16917932160","23774544576","-112240339200","-340394337792","-18366600960","1038631284288","1551977781120","925676688384","247949112960","24794911296"]]},"step_quotients":[[{"coeff":{"coeffs":[["1230038784","33116428800","399165781248","2831570555904","13046771678976","40504205219328","84290045859072","109948187400192","65714473794816","-40487335156224","-116998921435392","-102750112410624","-45523457139456","-10116323808768","-892616806656"],["-410012928","1466584704","168162314112","2267919979776","15525900011520","64958109957504","175503960157824","304190910273024","308557671687936","108629261377920","-130074104658816","-187548709042944","-98584567312896","-23951884311936","-2231542016640"],["-1845058176","-46907055936","-488258072640","-2610287026560","-6642496647936","1250595464256","63444259879488","205753683914496","330585960659328","267798816947520","48358341997632","-89807168714112","-70219188790272","-19860723948096","-2008387814976"],["1845058176","30455287200","175556193696","218747729088","-1992099738816","-9427298506272","-11107048875552","27775810631808","111345681659904","153831762165600","90929827197792","5363965810368","-17034104060352","-6731818416864","-781039705824"],["-640645200","-6357171600","-7112753856","126125514720","461675315088","-331860103920","-4338956421792","-5992103563200","7678846278864","29256847416720","30211221919104","11922219848160","638468965872","-650866421520","-111577100832"],["76877424","301596048","-2284487712","-10625040864","20234438928","137672979696","2754990144","-752112309312","-820298315376","1172937053808","2797692491232","1896810714144","539289320688","55788550416","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-1913393664","-53017825536","-661673525760","-4900167145728","-23852122679808","-79678169683200","-184247845378560","-286677471939840","-267960545072640","-73127233942272","161089783699968","241436316259584","161001624015360","58813529594112","11306479550976","892616806656"],["3758451840","83831874048","792818222976","3979220256000","9935688666240","-89610872832","-86710196995200","-308344619116800","-580025217177216","-656307220944384","-426929802655104","-113692933262592","34531046464896","34514516524032","9372476469888","892616806656"],["-2767587264","-46836092160","-291382723008","-556349285376","2369325536064","15645486991104","30272137812288","-13694137675776","-181644765164352","-396883880144640","-456151983112512","-305870025747456","-118048572680256","-24100653779712","-2008387814976","0"],["905445216","10471099392","25760760480","-153120932928","-939900726432","-778237476480","6350892845472","19123611029568","8416954054944","-52375423737600","-119938955084064","-121657609768896","-67396701387744","-20877315311232","-3384505391904","-223154201664"],["-111045168","-691896816","2217618000","22660644240","8473767696","-255684059568","-483123801456","939528166608","3689161385328","1792197616176","-7130603240208","-13238416389456","-9899368334928","-3775025244816","-725251155408","-55788550416"]]},"deriv_order":1},{"coeff":{"coeffs":[["-296120448","-8063587584","-96794590464","-661651690752","-2715305856768","-5844917553408","1599678035712","56458704602880","205650422802432","433417090187520","608381412399360","585743964496128","383836246822656","166059785919744","44928379268352","6843395517696","446308403328"],["444180672","9430297344","80614849536","315057330432","150354185472","-3902562581760","-16993958298624","-26507630847744","25111429052544","199966980172032","437903846728704","545388868866816","423926863398144","206392841627904","60697942852608","9818784873216","669462604992"],["-222090336","-3382606656","-16014158784","11436085440","363100646592","1087510629312","-619396611264","-10378932190272","-21180364227072","1224746174016","77324308371648","152188410544704","149554639967040","84029954382144","27150427869120","4686238234944","334731302496"],["37015056","341677440","-47309184","-9771166080","-25485233472","76754252160","416725326720","169947745920","-2169248628384","-4286560590720","584670130560","11543408703360","16538205834432","11157710083200","4016775629952","743847338880","55788550416"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["0","615019392","9793001088","54958715136","68674459392","-595191245184","-2881583641728","-3845558094336","6888699800064","33476803569792","54719614240128","46647493118208","21323623714560","4909392436608","446308403328"],["-615019392","-9177981696","-43320655872","10128084480","757210363776","2212381797120","-599567484672","-14688383007744","-26262402712704","-1553814441216","49435543143936","65392446057984","36150980669568","9223707002112","892616806656"],["-358761312","-8018906688","-59557713696","-126936139392","556388966304","3542837963328","5231471191776","-9368190929664","-43732254380832","-59012807214528","-25592480942688","12976003578240","15856345773792","5132546638272","557885504160"],["486890352","4831450416","5294989440","-96621799968","-349882803504","270485045712","3323283388704","4432779141696","-6203549056752","-22255039965744","-21838806871488","-7384751080992","514494409392","762443522352","111577100832"],["-76877424","-301596048","2284487712","10625040864","-20234438928","-137672979696","-2754990144","752112309312","820298315376","-1172937053808","-2797692491232","-1896810714144","-539289320688","-55788550416","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-68335488","-1908137088","-19778878080","-90701783424","-80392300416","1045089827712","4864587000192","7243583345280","-9059019813504","-57604395030912","-111619344014208","-119285563254912","-75624479452800","-27919070119296","-5504470307712","-446308403328"],["956696832","16361092800","101907621504","186792194880","-889659002880","-5558644222272","-9924925686912","7742440634688","66409955751168","129923192420928","128568043380096","64618293827520","10248563335680","-4140750186432","-1934003081088","-223154201664"],["-683354880","-7754763744","-17895608640","118089391968","681894702720","464744918304","-4791018559680","-13424301696672","-4334517826560","38903368878432","83030811289920","80193630606624","42233998907520","12335468369760","1859618347200","111577100832"],["111045168","691896816","-2217618000","-22660644240","-8473767696","255684059568","483123801456","-939528166608","-3689161385328","-1792197616176","7130603240208","13238416389456","9899368334928","3775025244816","725251155408","55788550416"]]},"deriv_order":1},{"coeff":{"coeffs":[["-148060224","-3143432448","-26871616512","-105019110144","-50118061824","1300854193920","5664652766208","8835876949248","-8370476350848","-66655660057344","-145967948909568","-181796289622272","-141308954466048","-68797613875968","-20232647617536","-3272928291072","-223154201664"],["148060224","2255071104","10676105856","-7624056960","-242067097728","-725007086208","412931074176","6919288126848","14120242818048","-816497449344","-51549538914432","-101458940363136","-99703093311360","-56019969588096","-18100285246080","-3124158823296","-223154201664"],["-37015056","-341677440","47309184","9771166080","25485233472","-76754252160","-416725326720","-169947745920","2169248628384","4286560590720","-584670130560","-11543408703360","-16538205834432","-11157710083200","-4016775629952","-743847338880","-55788550416"]]},"deriv_order":2}]]},{"annihilator":{"terms":[{"coeff":{"coeffs":[["0","0","0"],["-90","-270","-324"],["171","189","-162"],["-27","81","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["90","594","1134","486"],["-201","-621","-243","81"],["39","-27","-243","-81"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["26","216","612","648","162"],["-13","-30","108","270","81"]]},"deriv_order":2,"shift":0}]},"quotient":[{"coeff":{"coeffs":[["-234","-774","1872","4608","-9108","-5436","18144","-9072","-1458","1458"],["117","-315","-1152","3960","-414","-9702","11880","-3888","-1215","729"]]},"deriv_order":0}],"step_multiplier":{"coeffs":[["820025856","20437567488","227695463424","1493635479552","6393663217152","18696383483904","37981586589696","53424768872448","50904871220736","31473007405056","11769317895168","2380311484416","198359290368"],["-1230038784","-23276118528","-179745785856","-676586276352","-839376338688","3245038267392","17426230990848","38501293372416","48550272977664","36211590452736","15339785121792","3372107936256","297538935552"],["615019392","7947942912","31114886400","-24670199808","-521180645760","-1318041704448","108567019008","6562998743040","13787807340672","13356192218112","6578916463872","1586874322944","148769467776"],["-102503232","-709637760","917070336","16917932160","23774544576","-112240339200","-340394337792","-18366600960","1038631284288","1551977781120","925676688384","247949112960","24794911296"]]},"step_quotients":[[{"coeff":{"coeffs":[["1230038784","30656351232","330472846080","1964546058240","6516606069504","7880496251904","-29342073547008","-172264023724032","-436394112129792","-674024868670464","-669561784637184","-421315132741632","-158588252649216","-32134205039616","-2677850419968"],["2050064640","70159519872","1013046113664","8246271267072","42001831466496","138262071415680","285087264418944","301497142132224","-83407632719616","-781276634976384","-1185940607287680","-924255113469696","-394338269251584","-86435060777856","-7587242856576"],["-2870090496","-49698297792","-209425020480","1682826585984","24333002619264","134508108240576","427260367460160","827221503571200","908987570311680","332910254010816","-446217488653248","-658602433844352","-354319282419840","-87550831786176","-8256705461568"],["-922529088","-43749167904","-630952579296","-4273503675840","-14096116813824","-9846725915232","96078393593568","393600544113024","720680626759104","673122609398304","217058785970400","-135057881829312","-137314218757248","-41618258610336","-4351506932448"],["1973187216","37569405744","252115190496","481024176480","-2370426209424","-14366494154160","-22107265355520","32588778413376","173833679358576","269219243949264","185481088939872","37064259902304","-16953520598640","-8907571883088","-1115771008320"],["-717522624","-7581296736","-11215005984","145004188608","593702265600","-255562182432","-5351874464736","-8303540294016","8333845185600","37431591921504","41381329457952","18356499329472","2330721661824","-483500770272","-111577100832"],["76877424","301596048","-2284487712","-10625040864","20234438928","137672979696","2754990144","-752112309312","-820298315376","1172937053808","2797692491232","1896810714144","539289320688","55788550416","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-1640051712","-42105173760","-471286812672","-2949867590400","-10653354150912","-17023934405376","31242268477440","259027438512384","754122839897088","1335093937023744","1566773914853376","1231315294959360","632766136273920","201433859368704","35704672266240","2677850419968"],["-341677440","-36806545152","-805504362624","-8601034719744","-55363518548352","-234355061922048","-677122679357568","-1343739708315648","-1784205695878272","-1446280441475328","-472684678966656","296811618153984","404867841581952","188937224075520","41506681509504","3570467226624"],["3860955072","107297229312","1238192339904","7617580920576","25216130015424","27015047880192","-129212246240064","-677356570084608","-1584585538354368","-2230853881324032","-1972228569336000","-1061387502877440","-312126608364480","-33919438652928","3793621428288","892616806656"],["-3228851808","-61407320832","-439366760352","-1149090390720","2393079295392","24327107167104","60089991354720","10876394978496","-280297748065824","-743164101324288","-977491165517280","-751707325760832","-343570688373024","-90303066940032","-12385058192352","-669462604992"],["1016490384","12495538224","35843530320","-165491829648","-1189432982448","-1347414094224","7427643329808","25762448529072","16188551668656","-64055280980592","-163977702118416","-176360005320624","-102458772202896","-33194187497520","-5634643592016","-390519852912"],["-111045168","-691896816","2217618000","22660644240","8473767696","-255684059568","-483123801456","939528166608","3689161385328","1792197616176","-7130603240208","-13238416389456","-9899368334928","-3775025244816","-725251155408","-55788550416"]]},"deriv_order":1},{"coeff":{"coeffs":[["296120448","11617032960","204217977600","2145456937728","15106541886720","75602295924480","277811467718400","762578596230912","1573957024464384","2437600177983744","2803665309864192","2349819253502208","1393925833218816","561191492332800","144108024452352","21125264424192","1338925209984"],["-740301120","-22824052992","-306563512320","-2331549432576","-10710869241600","-27282232795392","-10595246155776","199327187563776","847713120262272","1933635340922112","2871429496326144","2888364726851328","1959271850688768","870631985306880","240411459926016","37192366944000","2454696218304"],["666271008","15477988032","145215540288","641550746304","663809017536","-6717614534208","-34607313208512","-63394193885760","29042493878016","401158706518080","953132001829056","1242966148278336","997408366763328","496815637637952","148546313574336","24323807981376","1673656512480"],["-259105392","-4168464768","-21399520896","5476947840","458648961984","1526768424576","-409136821632","-13668628507776","-30409734264480","-2653565692032","103683747959424","214461289429632","215944392457152","123197649259392","40217346122112","6992164985472","502096953744"],["37015056","341677440","-47309184","-9771166080","-25485233472","76754252160","416725326720","169947745920","-2169248628384","-4286560590720","584670130560","11543408703360","16538205834432","11157710083200","4016775629952","743847338880","55788550416"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["1230038784","31271370624","355026312576","2387380988160","10683798870528","34170743638656","82862280720000","160425320891904","254163146284800","321097774603392","301445511576192","191846493667584","74583093178368","15620794116480","1338925209984"],["1435045248","44991033984","582263240832","4180807768320","18648607646592","54728502768000","111236094274176","174044359577088","254081721020544","369420301729152","435878010642816","337574452324608","150207572631168","34365747056256","3124158823296"],["-1998813024","-32596027776","-177941668320","-124983585792","2501941087008","9591061696128","5155249797792","-45260202525696","-115130578952736","-81861777138816","69540083719776","152868893110272","95547190679136","25737117925248","2566273319136"],["-333135504","-11762245872","-110455117344","-325371642336","748912325904","6979866732144","13293235591488","-12296133232704","-88006553072496","-140038674427152","-88447581078048","-3525009889248","19383421905648","7643031406992","892616806656"],["563767776","6055575552","9397241568","-115500473856","-481909754016","194187124224","4336201431648","6744215872512","-6858547963488","-30429784470528","-33008914410336","-13819030562304","-1177758286560","595077871104","111577100832"],["-76877424","-301596048","2284487712","10625040864","-20234438928","-137672979696","-2754990144","752112309312","820298315376","-1172937053808","-2797692491232","-1896810714144","-539289320688","-55788550416","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-1708387200","-45653362560","-551621446272","-4001222385792","-19553584747392","-68711940862848","-181619267333760","-373491292844160","-609878698524288","-790183212001920","-791154192972672","-583148763780480","-296596728922752","-95857127070336","-17406027729792","-1338925209984"],["751690368","7971597504","-14010796800","-592988008896","-3530415943296","-7894573533504","6487990451712","82196151312960","214651077639552","280948078794816","172671762265344","-6118833109824","-78302329872768","-47383075486656","-11901557422080","-1115771008320"],["1195871040","25550901792","201435227136","598409179488","-883495232064","-11514965036256","-30305322405504","-8253899453088","135409296127680","363972614829408","471371466998016","348485590789920","148199184816192","34353349600608","3719236694400","111577100832"],["-794400048","-9779202576","-27978378480","130460288688","931426958736","1033921536048","-5867769044016","-20063139196176","-12106115440272","50583226121424","127069558324272","134896026158352","77296069722672","24652340556048","4109756547312","278942752080"],["111045168","691896816","-2217618000","-22660644240","-8473767696","255684059568","483123801456","-939528166608","-3689161385328","-1792197616176","7130603240208","13238416389456","9899368334928","3775025244816","725251155408","55788550416"]]},"deriv_order":1},{"coeff":{"coeffs":[["148060224","4920155136","69922973952","556632580608","2665187794944","7145771747328","4064974730496","-47622827653632","-214020899153280","-500072750244864","-754349361308928","-767540254118400","-525145201288704","-234857399795712","-65161026885888","-10116323808768","-669462604992"],["-296120448","-7175226240","-69938743680","-322681387392","-392421283200","3177555495552","17406889372800","33426918974592","-10991186234496","-200783477621376","-489453385643136","-646847809229952","-523629956709504","-262412811216000","-78798228098688","-12942943696512","-892616806656"],["185075280","3040929216","16061467968","-1664919360","-337615413120","-1164264881472","202671284544","10208984444352","23349612855456","3061814416704","-77908978502208","-163731819248064","-166092845801472","-95187664465344","-31167203499072","-5430085573824","-390519852912"],["-37015056","-341677440","47309184","9771166080","25485233472","-76754252160","-416725326720","-169947745920","2169248628384","4286560590720","-584670130560","-11543408703360","-16538205834432","-11157710083200","-4016775629952","-743847338880","-55788550416"]]},"deriv_order":2}]]}],"restart_bases":[],"row_multiplier":{"coeffs":[["936","7776","22032","23328","5832"],["-468","-1080","3888","9720","2916"]]},"start_base":0}},"shifted_parent_relation":{"terms":[{"coeff":{"coeffs":[["-1","-3"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-3","-3"]]},"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 = ((1) x + (1))^(d_n) P(((1) x + (0))/((1) x + (1))), d_n = 0 + 1 (n - 0); so the candidate rows satisfy the input rule at every base n >= 0 (the exceptional bases checked exactly), and agreement on the 1 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":"the schedule d_n depends on n","status":"none"},"lean_declarations":["RealRooted.splits_fPolynomial"],"lean_route":"fTransform","lift_summary":{"hypotheses":[{"evidence":"lambda(n) = 1","name":"gauge_finite_nonzero","statement":"lambda(n) is finite and nonzero for every n >= n0","status":{"kind":"verified"}}],"identity":{"method":"forward_division","status":"certified"},"input_first_index":0,"input_interlacing":{"reason":"the schedule d_n depends on n","status":"not_proved"},"lean_replay":"not_attempted","operation":{"description":"((1) x + (1))^(d_n) P(((1) x + (0))/((1) x + (1))), d_n = 0 + 1 (n - 0)","kind":"preserver_image","operator":{"a":"1","b":"0","c":"1","e":"1","schedule":{"first_degree":0,"first_index":0,"step":1},"shape":"mobius"}},"parent":{"gauge":{"kind":"none"},"index_shift":0,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["4","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["3","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"relation":"Q_n = lambda(n) T_n(P_(n+0)) with T = ((1) x + (1))^(d_n) P(((1) x + (0))/((1) x + (1))), d_n = 0 + 1 (n - 0), 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 [-1, 0]","input_root_region":{"lower":{"closed":true,"value":"-1"},"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":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically"},"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) + (3) x, V_n(x) = 0, W_n(x) = (1) + (3) 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) + (3) x, B_n(x) = (1) + (3) x: every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1/3] (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) + (3) x, B_n(x) = (1) + (3) x","every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1/3] (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 = ((1) x + (1))^(d_n) P(((1) x + (0))/((1) x + (1))), d_n = 0 + 1 (n - 0) 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 [-1, 0]"},"kind":"preserver_image"}