{"id":"n-4517c75d35b86f26","revision":0,"first_index":0,"fingerprint":"f6-c047d6bccc92b55f","name":"basis_map_A008277 of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^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":[["1444","2400","576"],["54872","183456","107136","13824"],["2085136","12691200","13616640","4091904","331776"],["79235168","836897664","1475619840","776908800","142663680","7962624"],["3010936384","53789299200","146988850176","120874844160","37762744320","4682022912","191102976"],["114415582592","3407199023616","13931984295936","16823965261824","7961203998720","1646065483776","147149291520","4586471424"],["4347792138496","213992313446400","1279923426017280","2185003801903104","1470576502112256","451147242405888","66286742667264","4476396109824","110075314176"],["165216101262848","13371870445000704","115209230160199680","271068580433756160","249497342528716800","106575100350824448","22891720983183360","2513019422638080","132750828896256","2641807540224"],["6278211847988224","833021154020352000","10228918684457189376","32582565371557969920","39938289829258199040","22826802076119465984","6724095627359158272","1067083304659845120","90845156789452800","3857039008727040","63403380965376"],["238572050223552512","51797988633613541376","899679514559806734336","3829576239298349236224","6133712406037989949440","4565153683929072402432","1771628654006233989120","381197455816547893248","46504385373410426880","3159971671163535360","110195076117823488","1521681143169024"],["9065737908494995456","3217201024489404825600","78615589979350104145920","442845694672253777608704","913827292152251034894336","868503379805705198370816","432000103443432323678208","121045763594358481747968","19844747575481547620352","1918738053437388226560","106473551268679778304","3104229532064808960","36520347436056576"],["344498040522809827328","199684041228146979078144","6838153562811854672363520","50599800573452318036459520","133081153820535729338449920","159155389020955446180052992","99468099942041607670333440","35303429783080223008358400","7469390268625359514632192","963633407384653752434688","75649360535190295805952","3492842549131886985216","86407142033709858816","876488338465357824"],["13090925539866773438464","12388678509117660138700800","592873623391295029321138176","5730093748587239496147271680","19047269825714643364227317760","28340499157003818000571170816","21922923525954503304321957888","9659740933923524523809832960","2565242076577758040566005760","424028251922710681469583360","44157724006014592292487168","2870423102682396968878080","111996949482154701619200","2380542327271911849984","21035720123168587776"],["497455170514937390661632","768412249778251731161972736","51284459895870196364946702336","644539279305987425279907201024","2689856406611855958713995100160","4934933342623754684831700615168","4670144061491811233400304435200","2516056797011154131208552579072","821839460027048937901617315840","169268985826234706066858311680","22452525319817113012581433344","1926653153154434099620872192","105401159995559959980933120","3521116602116881986355200","65000375180590936227840","504857282956046106624"],["18903296479567620845142016","47653498410343965829418188800","4428905445039514928933303746560","72130147761159501493548512968704","375909701189332396674393116246016","844276021893237783212544579600384","968404619414479756914816221970432","630391157660101220630569137733632","249408438934488954866377244540928","62718469440512789850620826746880","10304257698738790363102237949952","1120709859928249810387457802240","80600453834258965344685129728","3762018650634347734766714880","108816938768346177821736960","1760942202950688819904512","12116574790945106558976"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["4420","359288","32816656","3319287776","367299800128","44036569409408","5675864292114688","781427473062018560","114301819858459313152","17682760588133672253440","2881937190339815936757760","493158308404870556319997952","88342215458146376506389839872","16523179868753467727937586823168","3219224574761208221679634102681600"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A008277","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1444","2400","576"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["38","24"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","24"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":198205,"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-e2d2dfbc92134d82"]},{"id":198206,"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-e2d2dfbc92134d82"]},{"id":198207,"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-e2d2dfbc92134d82"]}],"region_exact":{},"incoming_edges":[{"id":"e-e2d2dfbc92134d82","operation":{"map":"A008277","operation":"basis_map"},"operation_detail":"A008277","conclusion_id":"n-4517c75d35b86f26","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":"e822d15dbec86a8258c2d02cbe2aeb593c9d350e2d1c81e090d81270dd9131b4","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-0b6560aa9867a4e4","role":"sequence","name":"basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*6^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-0324dbfcd908afae","kind":"fingerprint_related","node_a_id":"n-d13471d17127b789","node_b_id":"n-4517c75d35b86f26","fingerprint":"f6-c047d6bccc92b55f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-c047d6bccc92b55f"},"other_id":"n-d13471d17127b789","other":{"id":"n-d13471d17127b789","name":"basis_map_A008277 of basis_map_A013609 of Triangle of coefficients in expansion of (1+6x)^n.","first_index":0,"fingerprint":"f6-c047d6bccc92b55f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["19","12"],["361","600","144"]],"card_rows":[["1"],["19","12"],["361","600","144"],["6859","22932","13392","1728"]],"row_sums_preview":["1","31","1105","44911","2051041","103727743","5739059377","344035698511"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-a6a633b989da1879","steps":["x \u21a6 x/(x+1)","basis A008277"],"edges":["e-05b85140032a040d","e-3c0e9a50076df324"],"text":"A038271 \u2192 x \u21a6 x/(x+1) \u2192 basis A008277"},"headline":"A038271 \u2192 x \u21a6 x/(x+1) \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:               1444,                 2400,                   576;\n  1:              54872,               183456,                107136,                  13824;\n  2:            2085136,             12691200,              13616640,                4091904,                 331776;\n  3:           79235168,            836897664,            1475619840,              776908800,              142663680,                7962624;\n  4:         3010936384,          53789299200,          146988850176,           120874844160,            37762744320,             4682022912,              191102976;\n  5:       114415582592,        3407199023616,        13931984295936,         16823965261824,          7961203998720,          1646065483776,           147149291520,            4586471424;\n  6:      4347792138496,      213992313446400,      1279923426017280,       2185003801903104,       1470576502112256,        451147242405888,         66286742667264,         4476396109824,         110075314176;\n  7:    165216101262848,    13371870445000704,    115209230160199680,     271068580433756160,     249497342528716800,     106575100350824448,      22891720983183360,      2513019422638080,      132750828896256,       2641807540224;\n  8:   6278211847988224,   833021154020352000,  10228918684457189376,   32582565371557969920,   39938289829258199040,   22826802076119465984,    6724095627359158272,   1067083304659845120,    90845156789452800,    3857039008727040,     63403380965376;\n  9: 238572050223552512, 51797988633613541376, 899679514559806734336, 3829576239298349236224, 6133712406037989949440, 4565153683929072402432, 1771628654006233989120, 381197455816547893248, 46504385373410426880, 3159971671163535360, 110195076117823488, 1521681143169024;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (38+24*x)*P(n-1,x) + 24*x*d/dx P(n-1,x) for n >= 1, with P(0,x) = 1444 + 2400*x + 576*x^2.","mathematica":"P[0, x_] := 1444 + 2400*x + 576*x^2;\nP[n_, x_] := P[n, x] = Expand[(38 + 24*x)*P[n - 1, x] + 24*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] = 1444 + 2400*x + 576*x^2; for(n = 1, N, my(i = n + 1); v[i] = (38 + 24*x)*v[i - 1] + 24*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-c11cb6bca0e3e7dc","steps":["basis A013611","basis A008277"],"edges":["e-06104b6211fa5aaa","e-e2d2dfbc92134d82"],"text":"A038284 \u2192 basis A013611 \u2192 basis A008277"},"headline":"A038284 \u2192 basis A013611 \u2192 basis A008277","chain":null}