{"id":"n-c4fd821a14172d5f","revision":1,"first_index":0,"fingerprint":"f6-3c4a6b4bc3495597","name":"basis_map_A013610 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-2) where m = k if k=0 and 0<=k<=2n.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["6","18","9"],["36","216","432","324","81"],["216","1944","6804","11664","10206","4374","729"],["1296","15552","77760","209952","332424","314928","174960","52488","6561"],["7776","116640","758160","2799360","6473520","9762768","9710280","6298560","2558790","590490","59049"],["46656","839808","6718464","31492800","96053040","200294208","292253184","300441312","216119340","106288200","34012224","6377292","531441"],["279936","5878656","55847232","317447424","1203654816","3214155168","6223292208","8865853056","9334938312","7231849128","4062335004","1607077584","424089918","66961566","4782969"],["1679616","40310784","443418624","2962842624","13438607616","43807744512","106027439616","194141774592","271604614752","291212661888","238561739136","147851137728","68032951056","22499086176","5050815264","688747536","43046721"],["10077696","272097792","3401222400","26121388032","137953580544","531406987776","1545651507456","3467614261248","6078426587712","8383435008192","9117639881568","7802132087808","5216573837664","2690247875616","1047585002256","297538935552","58113073350","6973568802","387420489"],["60466176","1813985280","25395793920","220399211520","1328517469440","5906698868736","20080817049600","53410075591680","112798479795840","190920816979200","260313508726272","286381225468800","253796579540640","180259005121920","101659136313600","44853994534464","15132644300340","3765727153080","650866421520","69735688020","3486784401"],["362797056","11972302848","185570694144","1795845427200","12166852769280","61337100566016","238762139159808","735075450261504","1818899592871680","3656588218525440","6013642076145792","8122217862698496","9020463114218688","8227323491682240","6138786125941920","3721319466948864","1813099994244792","698667911134776","207882085987620","46025554093200","7133960884446","690383311398","31381059609"],["2176782336","78364164096","1332190789632","14223095783424","106996470552576","603188562087936","2646142320070656","9260205111539712","26293614914375424","61295401035196416","118270536726177792","189888158513544192","254445478899197184","284832237770316288","266108707633900032","206871978493787904","133111425504025584","70319682565754688","30141214864554816","10306042072549344","2742202512872856","546783582627216","76820833922832","6778308875544","282429536481"],["13060694016","509367066624","9423290732544","110023286390784","909984264523776","5673075704524800","27697216272979968","108620489489301504","348260662374603264","924399320673793536","2049582973219981056","3819857221469233152","6009094557174578688","7998005473429344768","9013641835761868032","8594678748305774592","6917342534617436064","4679771560911079776","2644604404907143536","1237255263089074944","473232906164118672","145394725380418800","34982852106682584","6344497107509184","815091642284166","66088511536554","2541865828329"],["78364164096","3291294892032","65825897840640","834343255130112","7525134358769664","51408380566093824","276488518700040192","1201330511190171648","4294007731511866368","12792672252189333504","32071031572819599360","68131230732839199744","123258244088473498368","190530449862941583360","252127800550870622208","285795674794412375040","277331049199065371328","229942903723332299136","162359597337399221760","97144354915062751296","48911431816752352848","20525858031038323392","7086098324964701952","1976310848989110816","433937166749013564","72168654597916968","8540669183185440","640550188738908","22876792454961"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","33","1089","35937","1185921","39135393","1291467969","42618442977","1406408618241","46411484401953","1531578985264449","50542106513726817","1667889514952984961","55040353993448503713","1816331681783800622529"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013610","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["6","18","9"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":167372,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-0f2bf5edb3121755"]},{"id":167373,"position":1,"claim":"one_signed_coefficients","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":0},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 0: the coefficients of P_n have one sign","region_exact":null,"edges":["e-0f2bf5edb3121755"]},{"id":167374,"position":2,"claim":"hadamard_kernel","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":0},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 0, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-0f2bf5edb3121755"]}],"region_exact":{},"incoming_edges":[{"id":"e-0f2bf5edb3121755","operation":{"map":"A013610","operation":"basis_map"},"operation_detail":"A013610","conclusion_id":"n-c4fd821a14172d5f","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"fc9fbfdf439eb2cfe6745a1db0358da18628e3abed18beccde24a840e1ed160e","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-d3c3090977105807","role":"sequence","name":"Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-2) where m = k if k=0 and 0<=k<=2n.","uses":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-a142fa84029060a1","kind":"fingerprint_related","node_a_id":"n-2422ccdf8fc66e9a","node_b_id":"n-c4fd821a14172d5f","fingerprint":"f6-3c4a6b4bc3495597","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-3c4a6b4bc3495597"},"other_id":"n-2422ccdf8fc66e9a","other":{"id":"n-2422ccdf8fc66e9a","name":"basis_map_A013609 of Triangle read by rows, T(n,k) = GegenbauerC(m,-n,-2) where m = k if k=0 and 0<=k<=2n.","first_index":0,"fingerprint":"f6-3c4a6b4bc3495597","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["6","12","4"],["36","144","192","96","16"]],"card_rows":[["1"],["6","12","4"],["36","144","192","96","16"],["216","1296","3024","3456","2016","576","64"]],"row_sums_preview":["1","22","484","10648","234256","5153632","113379904","2494357888"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-d3c3090977105807","steps":["basis A013609"],"edges":["e-e79851ce4a3e511f"],"text":"A272867 \u2192 basis A013609"},"headline":"A272867 \u2192 basis A013609","chain":null}},{"id":"l-c74623f5114188dc","kind":"oeis_match","node_a_id":"n-c4fd821a14172d5f","node_b_id":null,"fingerprint":null,"oeis_id":"A009977","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":0,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A009977","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A009977","relation":"match_row_sums"}],"bfiles":[{"node_id":"n-c4fd821a14172d5f","oeis_id":"A009977","target":"row_sums","oeis_offset":0,"first_row":0,"rows_used":200,"terms_matched":15,"oeis_terms_agreeing":18,"oeis_terms_available":18,"term_count":200,"raw_size":31207}],"oeis_texts":[{"oeis_id":"","target":"node","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n 0: 1;\n 1: 6, 18, 9;\n 2: 36, 216, 432, 324, 81;\n 3: 216, 1944, 6804, 11664, 10206, 4374, 729;\n 4: 1296, 15552, 77760, 209952, 332424, 314928, 174960, 52488, 6561;\n 5: 7776, 116640, 758160, 2799360, 6473520, 9762768, 9710280, 6298560, 2558790, 590490, 59049;\n 6: 46656, 839808, 6718464, 31492800, 96053040, 200294208, 292253184, 300441312, 216119340, 106288200, 34012224, 6377292, 531441;\n 7: 279936, 5878656, 55847232, 317447424, 1203654816, 3214155168, 6223292208, 8865853056, 9334938312, 7231849128, 4062335004, 1607077584, 424089918, 66961566, 4782969;\n 8: 1679616, 40310784, 443418624, 2962842624, 13438607616, 43807744512, 106027439616, 194141774592, 271604614752, 291212661888, 238561739136, 147851137728, 68032951056, 22499086176, 5050815264, 688747536, 43046721;\n 9: 10077696, 272097792, 3401222400, 26121388032, 137953580544, 531406987776, 1545651507456, 3467614261248, 6078426587712, 8383435008192, 9117639881568, 7802132087808, 5216573837664, 2690247875616, 1047585002256, 297538935552, 58113073350, 6973568802, 387420489;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (6+18*x+9*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[(6 + 18*x + 9*x^2)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = (6 + 18*x + 9*x^2)*v[i - 1]); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-d3c3090977105807","steps":["basis A013610"],"edges":["e-0f2bf5edb3121755"],"text":"A272867 \u2192 basis A013610"},"headline":"A272867 \u2192 basis A013610","chain":null}