{"id":"n-227fbd5a5a45daab","revision":0,"first_index":0,"fingerprint":"f6-72277c8e823c26dc","name":"basis_map_A008277 of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*4^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["784","816","144"],["21952","42048","17280","1728"],["614656","1945344","1403136","317952","20736"],["17210368","85189632","96307200","37186560","5391360","248832"],["481890304","3614109696","6030249984","3535626240","855982080","86593536","2985984"],["13492928512","150347071488","356942315520","298643079168","107482152960","17892016128","1337720832","35831808"],["377801998336","6175798001664","20365165264896","23396464852992","11752360574976","2864283254784","348476276736","20065812480","429981696"],["10578455953408","251565544046592","1133098169794560","1741755733770240","1173936981934080","393085253320704","69219026731008","6429086318592","294107480064","5159780352"],["296196766695424","10189563233304576","61939891357876224","125069544998830080","110120279432232960","48678746075430912","11638925712949248","1550685988454400","113618363351040","4231019888640","61917364224"],["8293509467471872","411136890532528128","3343149109409218560","8747729576219639808","9869975776835665920","5605173007824715776","1748037524200095744","313343939262283776","32696908916981760","1938839065067520","59936008568832","743008370688"],["232218265089212416","16544997734910787584","178777396375669702656","599972482190967570432","855090913954146287616","611694934010602979328","242065828513906163712","56070971487776931840","7814543976853143552","656045019852963840","32136598048997376","838113442136064","8916100448256"],["6502111422497947648","664586528577502052352","9494964584353753989120","40543567616729960939520","72186579246806728704000","64090245160382817632256","31546922059517852123136","9184738748797890330624","1641855110983112982528","182996650422240804864","12628756749487177728","519737327329738752","11590930582732800","106993205379072"],["182059119829942534144","26661486480170057465856","501713196729325232062464","2708727902482962547998720","5972702834158070912778240","6506180525075368696086528","3923775147876379023900672","1407253804579577942507520","313806898747480693800960","44589805789222105251840","4065015803990991962112","234703053366604333056","8230487988186906624","158777916782542848","1283918464548864"],["5097655355238390956032","1068644168644761609043968","26409024067686952756838400","179379144119661505856667648","486430150225808939947130880","644216320216529296208953344","470451681088542326743105536","204697727887429277847650304","55799101099642541341409280","9829896372303974639861760","1136700008461332073414656","86332678186548596834304","4232080574367399936000","127980992546230763520","2156983020442091520","15407021574586368"],["142734349946674946768896","42806938610053325053231104","1386092981543458682664124416","11797173512470579807908790272","39121241146597417506261958656","62528197981764285345753464832","54775763951452584228817993728","28571565696454587039854100480","9375461271004826460506554368","2006455119829051047118110720","286190357719924842543710208","27453628611383760374464512","1763909997029775951003648","74333469520915259719680","1958540582561419100160","29088456732819062784","184884258895036416"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["1744","83008","4301824","241533952","14607437824","946173116416","65300846018560","4779967519129600","369601744866377728","30081535760750608384","2568953315157367324672","229556118009994962534400","21409901770445568184680448","2079514181822209651659243520","209920385551688572966147194880"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["784","816","144"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["28","12"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","12"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":198154,"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-bea36167f192742f"]},{"id":198155,"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-bea36167f192742f"]},{"id":198156,"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-bea36167f192742f"]}],"region_exact":{},"incoming_edges":[{"id":"e-bea36167f192742f","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-227fbd5a5a45daab","premise_count":1,"theorem":"ray basis maps: for L f = (a + b t) f + kappa (t - h) f', b > 0, kappa >= 0, and g real-rooted with every root <= h, of multiplicity m at h, T(u^k) = L^k g sends every real polynomial with all roots in S to one with all roots in (-inf, h] if and only if S lies in (-inf, a + b h + kappa m] (RealRooted rayBasisMap_maps_realRootedIn_iff; the step is Ma and Wang, EJC 15 (2008) R17, Theorem 2)","lean_route":null,"lean_declarations":[],"certificate_hash":"2acdb61c633a372854a368ddcf482dfe558102650ae1a10234ed5e2983740659","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-fcf922cdd7b5dfe1","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*4^j.","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-4541e3072c51eba3","kind":"fingerprint_related","node_a_id":"n-61db030885b2d224","node_b_id":"n-227fbd5a5a45daab","fingerprint":"f6-72277c8e823c26dc","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-72277c8e823c26dc"},"other_id":"n-61db030885b2d224","other":{"id":"n-61db030885b2d224","name":"basis_map_A008277 of basis_map_A007318 of Triangle of coefficients in expansion of (1+3*x)^n.","first_index":0,"fingerprint":"f6-72277c8e823c26dc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["7","3"],["49","51","9"]],"card_rows":[["1"],["7","3"],["49","51","9"],["343","657","270","27"]],"row_sums_preview":["1","10","109","1297","16804","235873","3566269","57749824"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6a5af5e1168bb679","steps":["basis A007318","basis A008277"],"edges":["e-5bade392cbb9f615","e-f16dbc7a407b61bc"],"text":"A013610 \u2192 basis A007318 \u2192 basis A008277"},"headline":"A013610 \u2192 basis A007318 \u2192 basis A008277","chain":null}},{"id":"l-5983f9e8958da864","kind":"fingerprint_related","node_a_id":"n-5255da8293bf0aba","node_b_id":"n-227fbd5a5a45daab","fingerprint":"f6-72277c8e823c26dc","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-72277c8e823c26dc"},"other_id":"n-5255da8293bf0aba","other":{"id":"n-5255da8293bf0aba","name":"basis_map_A008277 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^j.","first_index":0,"fingerprint":"f6-72277c8e823c26dc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["196","204","36"],["2744","5256","2160","216"],["38416","121584","87696","19872","1296"]],"card_rows":[["196","204","36"],["2744","5256","2160","216"],["38416","121584","87696","19872","1296"],["537824","2662176","3009600","1162080","168480","7776"]],"row_sums_preview":["436","10376","268864","7547936","228241216","7391977472","255081429760","9335874060800"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c11cb6bca0e3e7dc","steps":["basis A008277"],"edges":["e-ca3a3ab85b442a8e"],"text":"A038284 \u2192 basis A008277"},"headline":"A038284 \u2192 basis A008277","chain":null}},{"id":"l-7ac4f0acf2fafee0","kind":"fingerprint_related","node_a_id":"n-984fef1a6132c100","node_b_id":"n-227fbd5a5a45daab","fingerprint":"f6-72277c8e823c26dc","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-72277c8e823c26dc"},"other_id":"n-984fef1a6132c100","other":{"id":"n-984fef1a6132c100","name":"basis_map_A008277 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*9^j.","first_index":0,"fingerprint":"f6-72277c8e823c26dc","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["21","9"],["441","459","81"]],"card_rows":[["1"],["21","9"],["441","459","81"],["9261","17739","7290","729"]],"row_sums_preview":["1","30","981","35019","1361124","57317139","2599810101","126298865088"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-f485cd65a8f8089f","steps":["basis A008277"],"edges":["e-2be01244d609a451"],"text":"A038335 \u2192 basis A008277"},"headline":"A038335 \u2192 basis A008277","chain":null}}],"oeis":[],"bfiles":[],"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:              784,                816,                 144;\n  1:            21952,              42048,               17280,                1728;\n  2:           614656,            1945344,             1403136,              317952,               20736;\n  3:         17210368,           85189632,            96307200,            37186560,             5391360,              248832;\n  4:        481890304,         3614109696,          6030249984,          3535626240,           855982080,            86593536,             2985984;\n  5:      13492928512,       150347071488,        356942315520,        298643079168,        107482152960,         17892016128,          1337720832,           35831808;\n  6:     377801998336,      6175798001664,      20365165264896,      23396464852992,      11752360574976,       2864283254784,        348476276736,        20065812480,         429981696;\n  7:   10578455953408,    251565544046592,    1133098169794560,    1741755733770240,    1173936981934080,     393085253320704,      69219026731008,      6429086318592,      294107480064,       5159780352;\n  8:  296196766695424,  10189563233304576,   61939891357876224,  125069544998830080,  110120279432232960,   48678746075430912,   11638925712949248,   1550685988454400,   113618363351040,    4231019888640,    61917364224;\n  9: 8293509467471872, 411136890532528128, 3343149109409218560, 8747729576219639808, 9869975776835665920, 5605173007824715776, 1748037524200095744, 313343939262283776, 32696908916981760, 1938839065067520, 59936008568832, 743008370688;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (28+12*x)*P(n-1,x) + 12*x*d/dx P(n-1,x) for n >= 1, with P(0,x) = 784 + 816*x + 144*x^2.","mathematica":"P[0, x_] := 784 + 816*x + 144*x^2;\nP[n_, x_] := P[n, x] = Expand[(28 + 12*x)*P[n - 1, x] + 12*x*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 784 + 816*x + 144*x^2; for(n = 1, N, my(i = n + 1); v[i] = (28 + 12*x)*v[i - 1] + 12*x*deriv(v[i - 1], x)); 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-a93042cd70c4761e","steps":["basis A013610","basis A008277"],"edges":["e-77aaa200c8a95097","e-bea36167f192742f"],"text":"A038330 \u2192 basis A013610 \u2192 basis A008277"},"headline":"A038330 \u2192 basis A013610 \u2192 basis A008277","chain":null}